Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal

quantors

quantors

quantors -- unit type feature containing quantors ∀ and ∃.

quantors provides for_all and exists-quantors for use in contracts qualified
for analysis.
short-hand for_all using '∀' symbol
short-hand exists using '∃' symbol