diff options
Diffstat (limited to 'src/jib/anf.mli')
| -rw-r--r-- | src/jib/anf.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/jib/anf.mli b/src/jib/anf.mli index 6bc274e6..571546cb 100644 --- a/src/jib/anf.mli +++ b/src/jib/anf.mli @@ -134,12 +134,17 @@ val gensym : unit -> id (** {2 Functions for transforming ANF expressions} *) +val aval_typ : typ aval -> typ +val aexp_typ : typ aexp -> typ + (** Map over all values in an ANF expression *) val map_aval : (Env.t -> Ast.l -> 'a aval -> 'a aval) -> 'a aexp -> 'a aexp (** Map over all function calls in an ANF expression *) val map_functions : (Env.t -> Ast.l -> id -> ('a aval) list -> 'a -> 'a aexp_aux) -> 'a aexp -> 'a aexp +val fold_aexp : ('a aexp -> 'a aexp) -> 'a aexp -> 'a aexp + (** Remove all variable shadowing in an ANF expression *) val no_shadow : IdSet.t -> 'a aexp -> 'a aexp |