st_union-left(x) ==
case(x)
var(name)=>
const(ty)=>
domain
range =>rec1,rec2.
fst 
snd =>rec1,rec2.
left + right =>rec1,rec2.left
kind list =>rec1.
Class(kind) =>rec1.
Definitions occuring in Statement :
simple_type_ind: simple_type_ind,
it:
Definitions :
simple_type_ind: simple_type_ind,
it:
FDL editor aliases :
st_union-left
st\_union-left(x) ==
case(x)
var(name)=>\mcdot{}
const(ty)=>\mcdot{}
domain{}\mrightarrow{}range =>rec1,rec2.\mcdot{}
fst \mtimes{} snd =>rec1,rec2.\mcdot{}
left + right =>rec1,rec2.left
kind list =>rec1.\mcdot{}
Class(kind) =>rec1.\mcdot{}
Date html generated:
2011_08_17-PM-04_47_42
Last ObjectModification:
2011_02_06-PM-04_14_44
Home
Index