ClassDerivation ==
rec(X.BaseDef + fst:X 
X + X:X Unit + typ:Type
argtype:Type
arg:X
(argtype
bag(typ)) + (typ:Type
argtype:Type
arg:X
(argtype
bag(typ)
bag(typ))))
Definitions occuring in Statement :
base-deriv: BaseDef,
unit: Unit,
rec: rec(x.A[x]),
function: x:A B[x],
product: x:A B[x],
union: left + right,
universe: Type,
bag: bag(T)
Definitions :
rec: rec(x.A[x]),
base-deriv: BaseDef,
unit: Unit,
union: left + right,
universe: Type,
product: x:A B[x],
function: x:A B[x],
bag: bag(T)
FDL editor aliases :
classderiv
ClassDerivation ==
rec(X.BaseDef + fst:X \mtimes{} X + X:X \mtimes{} Unit + typ:Type
\mtimes{} argtype:Type
\mtimes{} arg:X
\mtimes{} (argtype {}\mrightarrow{} bag(typ)) + (typ:Type
\mtimes{} argtype:Type
\mtimes{} arg:X
\mtimes{} (argtype
{}\mrightarrow{} bag(typ)
{}\mrightarrow{} bag(typ))))
Date html generated:
2011_08_17-PM-04_22_25
Last ObjectModification:
2011_01_18-PM-04_30_57
Home
Index