Each
function
EachFunctions
function
Empty
function
EmptyFunctions
function
each
Each
EachFunctions
either
std
empty
Empty
EmptyFunctions
emptyISet
ISetInstances
emptySet
SetInstances
exist
Fold
PTraversal
ApplyFold