jon.recoil.org

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.t

Translate 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.t

Call an external function.