Module Fexpr_prim.OfFlambda
val nullop :
Flambda_to_fexpr_commons.Env.t ->
P.nullary_primitive ->
Fexpr.prim_opval unop : Flambda_to_fexpr_commons.Env.t -> P.unary_primitive -> Fexpr.prim_opval binop :
Flambda_to_fexpr_commons.Env.t ->
P.binary_primitive ->
Fexpr.prim_opval ternop :
Flambda_to_fexpr_commons.Env.t ->
P.ternary_primitive ->
Fexpr.prim_opval quaternop :
Flambda_to_fexpr_commons.Env.t ->
P.quaternary_primitive ->
Fexpr.prim_opval varop :
Flambda_to_fexpr_commons.Env.t ->
P.variadic_primitive ->
Fexpr.prim_opval prim :
Flambda_to_fexpr_commons.Env.t ->
P.t ->
Fexpr_prim_descr.t * Flambda2_term_basics.Simple.t list