Nuprl Definition : dstype

dstype(TypeNames; d; a) ==  (fst(d)) a


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions occuring in definition :  apply: f a,  pi1: fst(t)
Latex:
dstype(TypeNames;  d;  a)  ==    (fst(d))  a


Date html generated: 2016_05_14-PM-03_24_12
Last ObjectModification: 2015_09_22-PM-05_59_36

Theory : decidable!equality


Home Index