Nuprl Definition : record
record(x.T[x]) == x:Atom ⟶ T[x]
Definitions occuring in Statement :
function: x:A ⟶ B[x]
,
atom: Atom
Definitions occuring in definition :
function: x:A ⟶ B[x]
,
atom: Atom
FDL editor aliases :
record
Latex:
record(x.T[x]) == x:Atom {}\mrightarrow{} T[x]
Date html generated:
2016_05_15-PM-06_38_19
Last ObjectModification:
2015_09_23-AM-08_04_38
Theory : general
Home
Index