@[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.