Documentation

LeanGccJit.Core.Param

Param is to be used for function construction.

See also:

@[extern lean_gcc_jit_context_new_param]

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.