jon.recoil.org

Module Printblambda

val structured_constant : Format.formatter -> Lambda.structured_constant -> unit
val comparison : Format.formatter -> Blambda.comparison -> unit
val primitive : Format.formatter -> Blambda.primitive -> unit
val blambda : Format.formatter -> Blambda.blambda -> unit
val rec_binding : Format.formatter -> Blambda.rec_binding -> unit
val bfunction : Format.formatter -> Blambda.bfunction -> unit