diff options
Diffstat (limited to 'src/jib/jib_compile.mli')
| -rw-r--r-- | src/jib/jib_compile.mli | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/jib/jib_compile.mli b/src/jib/jib_compile.mli index 50054149..92a0d06a 100644 --- a/src/jib/jib_compile.mli +++ b/src/jib/jib_compile.mli @@ -53,7 +53,10 @@ open Ast open Ast_util open Jib open Type_check - + +(** Print the IR representation of a specific function. *) +val opt_debug_function : string ref + (** Context for compiling Sail to Jib. We need to pass a (global) typechecking environment given by checking the full AST. We have to provide a conversion function from Sail types into Jib types, as |