Fuzion Logo
flang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion LanguageTutorialPredefined Pre- and Postcondition Qualifiers

Predefined Pre- and Postcondition Qualifiers

The following qualifiers are predefined in the Fuzion standard library. They are used within the standard library itself, but they are also available for use in library modules or Fuzion application code.

next: Invariants