@[extern lean_gcc_jit_context_new_param]
opaque
LeanGccJit.Core.Context.newParam
(ctx : LeanGccJit.Core.Context)
(location : Option LeanGccJit.Core.Location)
(type : LeanGccJit.Core.JitType)
(name : String)
:
In preparation for creating a function, create a new parameter of the given type and name.
The parameter type must be non-void.
@[extern lean_gcc_jit_param_as_object]
Upcast a Param
to an Object
.
@[extern lean_gcc_jit_param_as_lvalue]
Upcast a Param
to an LValue
.
@[extern lean_gcc_jit_param_as_rvalue]
Upcast a Param
to a RValue
.