Nuprl Definition : tagged-test
tagged-test(x) == if x.tag =a "a" then mk-tagged("a";x.val + 1) else x fi
Definitions occuring in Statement :
mk-tagged: mk-tagged(tg;x),
tagged-val: x.val,
tagged-tag: x.tag,
ifthenelse: if b then t else f fi ,
eq_atom: x =a y,
add: n + m,
natural_number: $n,
token: "$token"
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
eq_atom: x =a y,
tagged-tag: x.tag,
mk-tagged: mk-tagged(tg;x),
token: "$token",
add: n + m,
tagged-val: x.val,
natural_number: $n
FDL editor aliases :
tagged-test
Latex:
tagged-test(x) == if x.tag =a "a" then mk-tagged("a";x.val + 1) else x fi
Date html generated:
2016_05_15-PM-06_49_01
Last ObjectModification:
2015_09_23-AM-08_06_38
Theory : general
Home
Index