• en

Module Printclambda

val clambda : Format.formatter -> Clambda.ulambda -> unit
val approx : Format.formatter -> Clambda.value_approximation -> unit
val structured_constant : Format.formatter -> Clambda.ustructured_constant -> unit