Translprim (melange.Melange_compiler

let event_before: 
  Lambda.scoped_location =>
  Typedtree.expression =>
  Lambda.lambda =>
  Lambda.lambda;

let event_after: 
  Lambda.scoped_location =>
  Typedtree.expression =>
  Lambda.lambda =>
  Lambda.lambda;

let add_exception_ident: Ident.t => unit;

let remove_exception_ident: Ident.t => unit;

let clear_used_primitives: unit => unit;

let get_used_primitives: unit => list(Path.t);

let check_primitive_arity: Location.t => Primitive.description => unit;

let transl_primitive: 
  Lambda.scoped_location =>
  Primitive.description =>
  Env.t =>
  Types.type_expr =>
  option(Path.t) =>
  Lambda.lambda;

let transl_primitive_application: 
  Lambda.scoped_location =>
  Primitive.description =>
  Env.t =>
  Types.type_expr =>
  Path.t =>
  option(Typedtree.expression) =>
  list(Lambda.lambda) =>
  list(Typedtree.expression) =>
  Lambda.lambda;

type error =

| Unknown_builtin_primitive(string)
| Wrong_arity_builtin_primitive(string)

;

exception Error(Location.t, error);

let report_error: Stdlib.Format.formatter => error => unit;