mod
Standalone Functions
internal
internal(_f);
Parameters
Name | Type |
---|---|
_f | FunctionDefinition |
create_internal_check
create_internal_check(f);
Parameters
Name | Type |
---|---|
f | FunctionDefinition |
view
view(_f);
Parameters
Name | Type |
---|---|
_f | FunctionDefinition |
create_view_check
create_view_check(f);
Parameters
Name | Type |
---|---|
f | FunctionDefinition |
initializer
initializer(_f);
Parameters
Name | Type |
---|---|
_f | FunctionDefinition |
noinitcheck
noinitcheck(_f);
Parameters
Name | Type |
---|---|
_f | FunctionDefinition |
create_assert_correct_initializer_args
create_assert_correct_initializer_args(f);
Parameters
Name | Type |
---|---|
f | FunctionDefinition |
create_mark_as_initialized
create_mark_as_initialized(f);
Parameters
Name | Type |
---|---|
f | FunctionDefinition |
create_init_check
create_init_check(f);
Parameters
Name | Type |
---|---|
f | FunctionDefinition |
private
private(f);
Parameters
Name | Type |
---|---|
f | FunctionDefinition |
public
public(f);
Parameters
Name | Type |
---|---|
f | FunctionDefinition |
transform_public
transform_public(f);
Parameters
Name | Type |
---|---|
f | FunctionDefinition |
transform_unconstrained
transform_unconstrained(f);
Parameters
Name | Type |
---|---|
f | FunctionDefinition |