Each

function

EachFunctions

function

Empty

function

EmptyFunctions

function

each

Each EachFunctions

either

std

empty

Empty EmptyFunctions

emptyISet

ISetInstances

emptySet

SetInstances

exist

Fold PTraversal ApplyFold