Module Linearize

val fundecl : Mach.fundecl -> Linear.fundecl