diff options
Diffstat (limited to 'src/process_file.mli')
| -rw-r--r-- | src/process_file.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/process_file.mli b/src/process_file.mli index 7b860a73..7371b299 100644 --- a/src/process_file.mli +++ b/src/process_file.mli @@ -71,6 +71,10 @@ val opt_ddump_tc_ast : bool ref val opt_ddump_rewrite_ast : ((string * int) option) ref val opt_dno_cast : bool ref +val opt_lem_output_dir : (string option) ref +val opt_isa_output_dir : (string option) ref +val opt_coq_output_dir : (string option) ref + type out_type = | Lem_out of string list (* If present, the strings are files to open in the lem backend*) | Coq_out of string list (* If present, the strings are files to open in the coq backend*) |