Module Flambda2_to_jsir.To_jsir_primitive
val primitive :
env:To_jsir_env.t ->
res:To_jsir_result.t ->
Flambda2_terms.Flambda_primitive.t ->
Jsoo_imports.Import.Jsir.Var.t option * To_jsir_env.t * To_jsir_result.tTranslate a flambda primitive call to a JSIR variable containing the result.
val extern :
env:To_jsir_env.t ->
res:To_jsir_result.t ->
Flambda2_identifiers.Symbol.t ->
Flambda2_term_basics.Simple.t list ->
Jsoo_imports.Import.Jsir.Var.t * To_jsir_result.tCall an external function.