jon.recoil.org

Module Printlinear

val call_operation : ?print_reg:(Format.formatter -> Reg.t -> unit) -> Format.formatter -> Linear.call_operation -> Reg.t array -> unit
val instr' : ?print_reg:(Format.formatter -> Reg.t -> unit) -> Format.formatter -> Linear.instruction -> unit
val instr : Format.formatter -> Linear.instruction -> unit
val fundecl : Format.formatter -> Linear.fundecl -> unit