diff options
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index 3302c573..bc2181e8 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -74,6 +74,7 @@ val mk_pexp : unit pexp_aux -> unit pexp val mk_lexp : unit lexp_aux -> unit lexp val mk_lit : lit_aux -> lit val mk_lit_exp : lit_aux -> unit exp +val mk_typ_pat : typ_pat_aux -> typ_pat val mk_funcl : id -> unit pat -> unit exp -> unit funcl val mk_fundef : (unit funcl) list -> unit def val mk_val_spec : val_spec_aux -> unit def |