st-ap(st1;st2) ==
if st_arrow?(st1) 
eq_st(st_arrow-domain(st1);st2)
then st_arrow-range(st1)
else st_const(Top)
fi
Definitions occuring in Statement :
eq_st: eq_st(st1;st2),
st_arrow-range: st_arrow-range(x),
st_arrow-domain: st_arrow-domain(x),
st_arrow?: st_arrow?(x),
st_const: st_const(ty),
band: p q,
ifthenelse: if b then t else f fi ,
top: Top
Definitions :
ifthenelse: if b then t else f fi ,
band: p q,
st_arrow?: Error :st_arrow?,
eq_st: eq_st(st1;st2),
st_arrow-domain: Error :st_arrow-domain,
st_arrow-range: Error :st_arrow-range,
st_const: Error :st_const,
top: Top
FDL editor aliases :
st-ap
st-ap(st1;st2) ==
if st\_arrow?(st1) \mwedge{}\msubb{} eq\_st(st\_arrow-domain(st1);st2)
then st\_arrow-range(st1)
else st\_const(Top)
fi
Date html generated:
2011_08_17-PM-05_00_41
Last ObjectModification:
2011_02_04-PM-03_36_43
Home
Index