ste_ap?(x) ==
st_exp_ind(x)
var(name)=>ff
const(val)=>ff
fun(arg)=>rec1,rec2.tt
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_ap?
ste\_ap?(x) ==
st\_exp\_ind(x)
var(name)=>ff
const(val)=>ff
fun(arg)=>rec1,rec2.tt
\mlambda{}bound:type.body=>rec1.ff
Date html generated:
2011_08_17-PM-05_06_43
Last ObjectModification:
2011_02_04-PM-12_02_01
Home
Index