diff options
Diffstat (limited to 'parsing/parse.mli')
| -rw-r--r-- | parsing/parse.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/parsing/parse.mli b/parsing/parse.mli index abdde31cf..9d17a24b3 100644 --- a/parsing/parse.mli +++ b/parsing/parse.mli @@ -16,3 +16,6 @@ val implementation : Lexing.lexbuf -> Parsetree.structure val interface : Lexing.lexbuf -> Parsetree.signature val toplevel_phrase : Lexing.lexbuf -> Parsetree.toplevel_phrase val use_file : Lexing.lexbuf -> Parsetree.toplevel_phrase list +val core_type : Lexing.lexbuf -> Parsetree.core_type +val expression : Lexing.lexbuf -> Parsetree.expression +val pattern : Lexing.lexbuf -> Parsetree.pattern |