diff options
Diffstat (limited to 'src/process_file.mli')
| -rw-r--r-- | src/process_file.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/process_file.mli b/src/process_file.mli index 3b23b1bd..ea00dd29 100644 --- a/src/process_file.mli +++ b/src/process_file.mli @@ -65,6 +65,8 @@ val rewrite_ast_check : Type_check.Env.t -> Type_check.tannot Ast.defs -> Type_c val opt_file_out : string option ref val opt_memo_z3 : bool ref val opt_just_check : bool ref +val opt_reformat : string option ref +val opt_ddump_initial_ast : bool ref val opt_ddump_tc_ast : bool ref val opt_ddump_rewrite_ast : ((string * int) option) ref val opt_dno_cast : bool ref |