Nuprl Definition : exception-value

exception-value(n;t) ==  t?n:v.v


FDL editor aliases :  exception-value
Latex:
exception-value(n;t)  ==    t?n:v.v


Date html generated: 2016_05_13-PM-03_21_48
Last ObjectModification: 2015_09_22-PM-05_44_34

Theory : call!by!value_1


Home Index