Module Comballoc

val fundecl : Mach.fundecl -> Mach.fundecl