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