Module CSE

class cse : object ... end
val fundecl : Mach.fundecl -> Mach.fundecl