Nuprl Definition : test-foo

test-foo() ==  mrec(test-Spec();"foo")


Definitions occuring in Statement :  test-Spec: test-Spec(),  mrec: mrec(L;i),  token: "$token"
Definitions occuring in definition :  mrec: mrec(L;i),  test-Spec: test-Spec(),  token: "$token"
FDL editor aliases :  test-foo
Latex:
test-foo()  ==    mrec(test-Spec();"foo")


Date html generated: 2019_10_15-AM-10_48_07
Last ObjectModification: 2019_03_25-PM-01_43_22

Theory : tree_1


Home Index