diff options
Diffstat (limited to 'bytecomp/translprim.mli')
| -rw-r--r-- | bytecomp/translprim.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/translprim.mli b/bytecomp/translprim.mli index d894165640..abf0f7d589 100644 --- a/bytecomp/translprim.mli +++ b/bytecomp/translprim.mli @@ -27,6 +27,8 @@ val remove_exception_ident : Ident.t -> unit val clear_used_primitives : unit -> unit val get_used_primitives: unit -> Path.t list +val check_primitive_arity : Location.t -> Primitive.description -> unit + val transl_primitive : Location.t -> Primitive.description -> Env.t -> Types.type_expr -> Path.t option -> Lambda.lambda |