utils
Standalone Functions
transform_private
transform_private(f);
Parameters
| Name | Type |
|---|---|
| f | FunctionDefinition |
transform_public
transform_public(f);
Parameters
| Name | Type |
|---|---|
| f | FunctionDefinition |
find_and_transform_top_level_unconstrained_fns
find_and_transform_top_level_unconstrained_fns(m);
Parameters
| Name | Type |
|---|---|
| m | Module |
transform_top_level_unconstrained
transform_top_level_unconstrained(f);
Parameters
| Name | Type |
|---|---|
| f | FunctionDefinition |
create_internal_check
create_internal_check(f);
Parameters
| Name | Type |
|---|---|
| f | FunctionDefinition |
create_view_check
create_view_check(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 |
create_message_discovery_call
create_message_discovery_call();
Takes no parameters.