Nuprl Definition : isinl def

if z is inl then a else b ==  PRIMITIVE


Rules referencing :  callbyvalueIsinl,  isinlExceptionCases,  isinlCases
FDL editor aliases :  isinl
Latex:
if  z  is  inl  then  a  else  b  ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_04_29
Last ObjectModification: 2012_10_17-AM-11_39_25

Theory : canonical!form!tests


Home Index