diff options
Diffstat (limited to 'src/jib/jib_compile.mli')
| -rw-r--r-- | src/jib/jib_compile.mli | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/jib/jib_compile.mli b/src/jib/jib_compile.mli index 6269b40d..c863b6ba 100644 --- a/src/jib/jib_compile.mli +++ b/src/jib/jib_compile.mli @@ -83,10 +83,9 @@ val initial_ctx : Env.t -> ctx (** {2 Compilation functions} *) (** The Config module specifies static configuration for compiling - Sail into Jib. We have to provide a conversion - function from Sail types into Jib types, as well as a function that - optimizes ANF expressions (which can just be the identity function) - *) + Sail into Jib. We have to provide a conversion function from Sail + types into Jib types, as well as a function that optimizes ANF + expressions (which can just be the identity function) *) module type Config = sig val convert_typ : ctx -> typ -> ctyp val optimize_anf : ctx -> typ aexp -> typ aexp |