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
val phantom_defining_expr_opt :
Format.formatter ->
Clambda.uphantom_defining_expr option ->
unit