diff options
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 1622d902..f01aa251 100644 --- a/src/process_file.mli +++ b/src/process_file.mli @@ -47,6 +47,7 @@ (* open Typed_ast *) val parse_file : string -> Parse_ast.defs +val convert_ast : Parse_ast.defs -> Type_internal.tannot Ast.defs (* type instances = Types.instance list Types.Pfmap.t |