Melange_compiler_libs.Translprim
val event_before :
Lambda.scoped_location ->
Typedtree.expression ->
Lambda.lambda ->
Lambda.lambda
val event_after :
Lambda.scoped_location ->
Typedtree.expression ->
Lambda.lambda ->
Lambda.lambda
val get_used_primitives : unit -> Path.t list
val check_primitive_arity : Location.t -> Primitive.description -> unit
val transl_primitive :
Lambda.scoped_location ->
Primitive.description ->
Env.t ->
Types.type_expr ->
Path.t option ->
Lambda.lambda
val transl_primitive_application :
Lambda.scoped_location ->
Primitive.description ->
Env.t ->
Types.type_expr ->
Path.t ->
Typedtree.expression option ->
Lambda.lambda list ->
Typedtree.expression list ->
Lambda.lambda
exception Error of Location.t * error
val report_error : Stdlib.Format.formatter -> error -> unit