Nuprl Definition : Rref

Rref(k;i) ==  k."Rref" i


Definitions occuring in Statement :  record-select: r.x,  apply: f a,  token: "$token"
Definitions occuring in definition :  apply: f a,  record-select: r.x,  token: "$token"
FDL editor aliases :  Rref
Latex:
Rref(k;i)  ==    k."Rref"  i


Date html generated: 2019_10_16-AM-11_23_31
Last ObjectModification: 2019_04_26-AM-11_07_22

Theory : dynamic!logic


Home Index