diff options
| author | Christopher Pulte | 2016-11-14 23:50:36 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-11-14 23:50:36 +0000 |
| commit | 14e052bedf2bbe2ef6239972f4aa1b8e38764c9e (patch) | |
| tree | c32746730ec3aded1be7aff2f746f7e0e3d40f20 /src/process_file.mli | |
| parent | fcbdfe60bb733ab8bbbfe386ea5baabe2d2d56e0 (diff) | |
add option -lem_sequential for producing shallow embedding that refers to state monad, library fixes
Diffstat (limited to 'src/process_file.mli')
| -rw-r--r-- | src/process_file.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/process_file.mli b/src/process_file.mli index 66b1d8af..52c5474e 100644 --- a/src/process_file.mli +++ b/src/process_file.mli @@ -55,6 +55,7 @@ val rewrite_ast_ocaml : Type_internal.tannot Ast.defs -> Type_internal.tannot As type out_type = | Lem_ast_out | Lem_out of string option (* If present, the string is a file to open in the lem backend*) + | Lem_sequential_out of string option (* If present, the string is a file to open in the lem backend*) | Ocaml_out of string option (* If present, the string is a file to open in the ocaml backend*) val output : |