axiomdefinedomainfieldfunctionmethodpredicatefalsenulltrueelseelseifgotoiflabelwhileaccapplyapplyingassertassumeconstrainingensuresepsilonexhaleexistsfoldfoldingforallforpermfreshininhaleinvariantletnoneoldpackagepackagingpermrequiresresultreturnsunfoldunfoldinguniquevarwandwildcardwrite!!=&&*+++---*/::<<=<==>====>>>=\%\/\\inintersectionsetminussubsetunion||BoolIntMultisetPermRationalRefSeqSet