diff options
Diffstat (limited to 'asmcomp/printclambda.mli')
| -rw-r--r-- | asmcomp/printclambda.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/asmcomp/printclambda.mli b/asmcomp/printclambda.mli index ddc233af06..d138b958ac 100644 --- a/asmcomp/printclambda.mli +++ b/asmcomp/printclambda.mli @@ -14,3 +14,5 @@ open Clambda open Format val clambda: formatter -> ulambda -> unit +val approx: formatter -> value_approximation -> unit +val structured_constant: formatter -> ustructured_constant -> unit |