diff options
Diffstat (limited to 'src/jib/jib_compile.mli')
| -rw-r--r-- | src/jib/jib_compile.mli | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/jib/jib_compile.mli b/src/jib/jib_compile.mli index 173e5c5f..f3bd8c76 100644 --- a/src/jib/jib_compile.mli +++ b/src/jib/jib_compile.mli @@ -55,10 +55,13 @@ open Ast open Ast_util open Jib open Type_check - + +(** Output a dataflow graph for each generated function in Graphviz + (dot) format. *) +val opt_debug_flow_graphs : bool ref + (** Print the IR representation of a specific function. *) val opt_debug_function : string ref - (** {2 Jib context} *) |