Skip to main content

remove_constraints

Standalone Functions

remove_constraints

remove_constraints(f);

Parameters

NameType
ffn[Env](

remove_constraints_if

remove_constraints_if(condition, f);

/// Requires condition to be a compile time constant.

Parameters

NameType
conditionbool
ffn[Env](

return_unit

return_unit();

Takes no parameters.

return_field

return_field();

Takes no parameters.

returns_unit

returns_unit();

Takes no parameters.

returns_original_value

returns_original_value();

Takes no parameters.

returns_unit_unconstrained

returns_unit_unconstrained();

Takes no parameters.

returns_original_value_unconstrained

returns_original_value_unconstrained();

Takes no parameters.