st_class?(x) ==
case(x)
var(name)=>ff
const(ty)=>ff
domain
range =>rec1,rec2.ff
fst 
snd =>rec1,rec2.ff
left + right =>rec1,rec2.ff
kind list =>rec1.ff
Class(kind) =>rec1.tt
Definitions occuring in Statement :
simple_type_ind: simple_type_ind,
bfalse: ff,
btrue: tt
Definitions :
simple_type_ind: simple_type_ind,
bfalse: ff,
btrue: tt
FDL editor aliases :
st_class?
st\_class?(x) ==
case(x)
var(name)=>ff
const(ty)=>ff
domain{}\mrightarrow{}range =>rec1,rec2.ff
fst \mtimes{} snd =>rec1,rec2.ff
left + right =>rec1,rec2.ff
kind list =>rec1.ff
Class(kind) =>rec1.tt
Date html generated:
2011_08_17-PM-04_49_19
Last ObjectModification:
2011_02_06-PM-04_16_58
Home
Index