

val syntax  : out_channel -> Syntax.t -> unit 
val knormal : out_channel -> KNormal.t -> unit 
val closure : out_channel -> Closure.prog -> unit 
val abs_asm : out_channel -> SparcAsm.prog -> unit 
