invariant
invariant(
condition
,error
):asserts condition
Parameters
• condition: any
• error: Error
= ...
Returns
asserts condition
invariant(
condition
,error
):asserts condition
• condition: any
• error: Error
= ...
asserts condition