ste_var?(x) ==
st_exp_ind(x)
var(name)=>tt
const(val)=>ff
fun(arg)=>rec1,rec2.ff
bound:type.body=>rec1.ff
Definitions occuring in Statement :
st_exp_ind: st_exp_ind,
bfalse: ff,
btrue: tt
Definitions :
st_exp_ind: st_exp_ind,
btrue: tt,
bfalse: ff
FDL editor aliases :
ste_var?
ste\_var?(x) ==
st\_exp\_ind(x)
var(name)=>tt
const(val)=>ff
fun(arg)=>rec1,rec2.ff
\mlambda{}bound:type.body=>rec1.ff
Date html generated:
2011_08_17-PM-05_05_22
Last ObjectModification:
2011_02_04-AM-11_59_49
Home
Index