Nuprl - union

Origin Definitions Sections StandardLIB Doc

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
unionNuprl Section: union - Non canonical functions (isl, outl, outr) for union type.

Selected Objects
def isl isl(x) == InjCase(x; y. true; z. false)

def outl outl(x) == InjCase(x; y. y; z. "???")

def outr outr(x) == InjCase(x; y. "???"; z. z)

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

Selected Objects
def	isl	isl(x) == InjCase(x; y. true; z. false)
def	outl	outl(x) == InjCase(x; y. y; z. "???")
def	outr	outr(x) == InjCase(x; y. "???"; z. z)

Origin Definitions Sections StandardLIB Doc