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