Printclambda
val clambda : Stdlib.Format.formatter -> Clambda.ulambda -> unit
val approx : Stdlib.Format.formatter -> Clambda.value_approximation -> unit
val structured_constant :
Stdlib.Format.formatter ->
Clambda.ustructured_constant ->
unit
val phantom_defining_expr_opt :
Stdlib.Format.formatter ->
Clambda.uphantom_defining_expr option ->
unit