KindDeq == union-deq(IdLnk 
Id;Id;product-deq(IdLnk;Id;IdLnkDeq;IdDeq);IdDeq)
Definitions :
union-deq: union-deq(A;B;a;b),
product: x:A B[x],
product-deq: product-deq(A;B;a;b),
IdLnk: IdLnk,
Id: Id,
idlnk-deq: IdLnkDeq,
id-deq: IdDeq
FDL editor aliases :
Kind-deq
KindDeq == union-deq(IdLnk \mtimes{} Id;Id;product-deq(IdLnk;Id;IdLnkDeq;IdDeq);IdDeq)
Date html generated:
2010_08_26-PM-11_38_42
Last ObjectModification:
2008_02_27-PM-09_33_01
Home
Index