jon.recoil.org

Module Cmm_builtins

type t = {
  1. extcall : Cmm.expression;
  2. builtin_sign_extends : bool;
}
val extcall : dbg:Debuginfo.t -> returns:bool -> alloc:bool -> is_c_builtin:bool -> effects:Cmm.effects -> coeffects:Cmm.coeffects -> ty_args:Cmm.exttype list -> string -> Cmm.machtype -> Cmm.expression list -> t

Create a C function call.