A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
$
%
&
*
+
.
/
<
=
>
?
^
|
-
~
All

Index - X

X
1 (Type/Class)	OAlg.Data.X, OAlg.Prelude
2 (Data Constructor)	OAlg.Data.Symbol
XAbl
1 (Type/Class)	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
2 (Data Constructor)	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
XAdd
1 (Type/Class)	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
2 (Data Constructor)	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xAddOrnt	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xAddStalk	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xAddTtl	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
XAlg
1 (Type/Class)	OAlg.Structure.Algebraic.Proposition, OAlg.Structure.Algebraic
2 (Data Constructor)	OAlg.Structure.Algebraic.Proposition, OAlg.Structure.Algebraic
XAppl	OAlg.Category.Proposition, OAlg.Prelude
xBool	OAlg.Data.X, OAlg.Prelude
XCat
1 (Type/Class)	OAlg.Category.Proposition, OAlg.Prelude
2 (Data Constructor)	OAlg.Category.Proposition, OAlg.Prelude
xCat	OAlg.Category.Proposition, OAlg.Prelude
xChar	OAlg.Data.X, OAlg.Prelude
xCharB	OAlg.Data.X, OAlg.Prelude
xCnInjDstOrnt	OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
xCnInjOrnt	OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
xCnPrjDstOrnt	OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
xCnPrjOrnt	OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
xCSequence	OAlg.Entity.Sequence.CSequence, OAlg.Entity.Sequence
xcSomeCmpb3	OAlg.Category.Proposition, OAlg.Prelude
xcSomeMrph	OAlg.Category.Proposition, OAlg.Prelude
XDiagram	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
xDiagram	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
xDiagramChain	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
XDiagramChainFrom	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
XDiagramChainTo	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
XDiagramDiscrete	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
XDiagramEmpty	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
XDiagramParallelLR	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
XDiagramParallelRL	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
XDiagramSink	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
XDiagramSource	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
XDomain	OAlg.Category.Proposition, OAlg.Prelude
xDouble	OAlg.Data.X, OAlg.Prelude
xDoubleB	OAlg.Data.X, OAlg.Prelude
XDst
1 (Type/Class)	OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
2 (Data Constructor)	OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
xDstOrnt	OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
xDstStalkStartEnd	OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
xDstTtl	OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
xec	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xecDiscrete	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xecf	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xecfEligibleCone	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xecfMapCnt	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xecfMapCov	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xecfMapS	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xecfOrtSite	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xecMapCnt	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xecMapCov	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xecMapS	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
XEligibleConeFactorG
1 (Type/Class)	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
2 (Data Constructor)	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xEligibleConeFactorGOrnt	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
XEligibleConeG
1 (Type/Class)	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
2 (Data Constructor)	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xEligibleConeGOrnt	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
XEmpty	OAlg.Data.X, OAlg.Prelude
XEnd	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xEndOrnt	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xEnum	OAlg.Data.X, OAlg.Prelude
xEnumB	OAlg.Data.X, OAlg.Prelude
XException	OAlg.Data.X, OAlg.Prelude
XFbr	OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred
xFbrOrnt	OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred
XFbrOrt	OAlg.Structure.FibredOriented
xFbrOrtOrnt	OAlg.Structure.FibredOriented
XFnct
1 (Type/Class)	OAlg.Category.Proposition, OAlg.Prelude
2 (Data Constructor)	OAlg.Category.Proposition, OAlg.Prelude
xFnct	OAlg.Category.Proposition, OAlg.Prelude
XFnctMrphSite
1 (Type/Class)	OAlg.Category.Proposition, OAlg.Prelude
2 (Data Constructor)	OAlg.Category.Proposition, OAlg.Prelude
XHomMlt	OAlg.Hom.Multiplicative, OAlg.Hom
xInt	OAlg.Data.X, OAlg.Prelude
xIntB	OAlg.Data.X, OAlg.Prelude
xInteger	OAlg.Data.X, OAlg.Prelude
xIntegerB	OAlg.Data.X, OAlg.Prelude
xList	OAlg.Data.X, OAlg.Prelude
xListF	OAlg.Entity.FinList
xMatrix	OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix
xMatrixTtl	OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix
XMlt
1 (Type/Class)	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
2 (Data Constructor)	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMlt	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMltEndo	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMltFactor	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMltHomMlt	OAlg.Hom.Multiplicative, OAlg.Hom
xMltMltp2	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMltMltp3	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMltN	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMltOrnt	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMltp2	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMltp3	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMltPermutation	OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence
xMltPoint	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xMltTtl	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
XMrphSite	OAlg.Category.Proposition, OAlg.Prelude
xMrphSite	OAlg.Category.Proposition, OAlg.Prelude
xN	OAlg.Data.X, OAlg.Prelude
xNB	OAlg.Data.X, OAlg.Prelude
xoAbl	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xoAdbl2	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xoAdbl3	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xoAdd	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xoAlg	OAlg.Structure.Algebraic.Proposition, OAlg.Structure.Algebraic
xoArrow	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xoDst	OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
xodZ	OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix
xodZZ	OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix
xoFbr	OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred, OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xoFbrOrt	OAlg.Structure.FibredOriented
xoFrom	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xOmega	OAlg.Data.X, OAlg.Prelude
xoMlt	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xOneOf	OAlg.Data.X, OAlg.Prelude
xOneOfW	OAlg.Data.X, OAlg.Prelude
xOneOfX	OAlg.Data.X, OAlg.Prelude
xOneOfXW	OAlg.Data.X, OAlg.Prelude
xoOrientation	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xoOrnt	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xoOrt	OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented
xoPoint	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xoRoot	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
XOrt	OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented
XOrtOrientation
1 (Type/Class)	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
2 (Data Constructor)	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xOrtOrnt	OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented
XOrtSite	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xosAdjTerminal	OAlg.Entity.Slice.Definition, OAlg.Entity.Slice
xosEnd	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xosFromOpOp	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xosHomMlt	OAlg.Hom.Multiplicative, OAlg.Hom
xosOrt	OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented
xosPath	OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative
xosPathAt	OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative
xosPathMax	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xosPathMaxAt	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xosPoint	OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented
xosStart	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xosXOrtSiteFromSliceFactorFrom	OAlg.Entity.Slice.Definition, OAlg.Entity.Slice
xosXOrtSitePath	OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative
xosXOrtSiteToSliceFactorTo	OAlg.Entity.Slice.Definition, OAlg.Entity.Slice
xoTo	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xoTtl	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xoVec	OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial
xPermutation	OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence
xPermutationB	OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence
xPermutationN	OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence
xPrdSymMlt	OAlg.Entity.Product.Proposition, OAlg.Entity.Product
xPrdSymStart	OAlg.Entity.Product.Proposition, OAlg.Entity.Product
xProductSymbol	OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence
xPSequence	OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence
xQ	OAlg.Data.X, OAlg.Prelude
XRange	OAlg.Category.Proposition, OAlg.Prelude
xRoot	OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred
xscHomCo	OAlg.Data.HomCo
xscmHomDisj	OAlg.Hom.Definition, OAlg.Hom
xSctSomeCmpb2	OAlg.Category.SDuality
xSctSomeMrph	OAlg.Category.SDuality
xSDualBi	OAlg.Category.SDuality
xSet	OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence
xsfsfl	OAlg.Data.FinitelyPresentable
xSheaf	OAlg.Structure.Additive.Definition, OAlg.Structure.Additive
xSheafMax	OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred
xSheafRoot	OAlg.Structure.Additive.Definition, OAlg.Structure.Additive
xSheafRootMax	OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred
xSliceFactorFrom	OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice
xSliceFrom	OAlg.Entity.Slice.Definition, OAlg.Entity.Slice
xSliceTo	OAlg.Entity.Slice.Definition, OAlg.Entity.Slice
xsoFbrOrtX	OAlg.Hom.Fibred, OAlg.Hom
xSomeAppl	OAlg.Category.Unify
xSomeConsecutiveZeroHomOrnt	OAlg.Limes.Exact.ConsecutiveZero
xSomeDiagram	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
xSomeDiagramOrnt	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
XSomeFreeSliceFromLiftable
1 (Type/Class)	OAlg.Data.FinitelyPresentable
2 (Data Constructor)	OAlg.Data.FinitelyPresentable
xSomeNatural	OAlg.Entity.Natural
xSomePath	OAlg.Category.Proposition, OAlg.Prelude
xSomePathMax	OAlg.Category.Proposition, OAlg.Prelude
xSomePathSite	OAlg.Category.Proposition, OAlg.Prelude
xSomePathSiteMax	OAlg.Category.Proposition, OAlg.Prelude
XStalk
1 (Type/Class)	OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred
2 (Data Constructor)	OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred
xStalkAdbl2	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xStalkAdbl3	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xStalkOrnt	OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred
XStandard	OAlg.Data.Validable, OAlg.Prelude
xStandard	OAlg.Data.Validable, OAlg.Prelude
XStandardAdd	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
xStandardAdd	OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive
XStandardDst	OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
xStandardDst	OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
XStandardDual1	OAlg.Data.Validable, OAlg.Prelude
XStandardEligibleCone	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
XStandardEligibleConeCokernel	OAlg.Limes.KernelsAndCokernels
XStandardEligibleConeCokernel1	OAlg.Limes.KernelsAndCokernels
XStandardEligibleConeFactor	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
XStandardEligibleConeFactorCokernel	OAlg.Limes.KernelsAndCokernels
XStandardEligibleConeFactorCokernel1	OAlg.Limes.KernelsAndCokernels
XStandardEligibleConeFactorG	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xStandardEligibleConeFactorG	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
XStandardEligibleConeFactorKernel	OAlg.Limes.KernelsAndCokernels
XStandardEligibleConeFactorKernel1	OAlg.Limes.KernelsAndCokernels
XStandardEligibleConeG	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
xStandardEligibleConeG	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
XStandardEligibleConeKernel	OAlg.Limes.KernelsAndCokernels
XStandardEligibleConeKernel1	OAlg.Limes.KernelsAndCokernels
XStandardMlt	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
xStandardMlt	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
XStandardOrtOrientation	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xStandardOrtOrientation	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
XStandardOrtSite	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xStandardOrtSite	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
XStandardOrtSiteFrom	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
XStandardOrtSiteTo	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
XStandardPoint	OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented
XStandardRoot	OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred
XStandardSomeFreeSliceFromLiftable	OAlg.Data.FinitelyPresentable
xStandardSomeFreeSliceFromLiftable	OAlg.Data.FinitelyPresentable
XStart	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xStartOrnt	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
xStartProduct	OAlg.Entity.Product.Proposition, OAlg.Entity.Product
xStartProductForm	OAlg.Entity.Product.Proposition, OAlg.Entity.Product
xStatement	OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude
XStd	OAlg.Data.Validable, OAlg.Prelude
xStd	OAlg.Data.Validable, OAlg.Prelude
xStdStruct	OAlg.Data.Validable, OAlg.Prelude
xSymbol	OAlg.Data.Symbol
xT	OAlg.Entity.Product.Proposition, OAlg.Entity.Product
xTakeB	OAlg.Data.X, OAlg.Prelude
xTakeN	OAlg.Data.X, OAlg.Prelude
xTupple2	OAlg.Data.X, OAlg.Prelude
xTupple3	OAlg.Data.X, OAlg.Prelude
xValid	OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude
xValue	OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude
XVec
1 (Type/Class)	OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial
2 (Data Constructor)	OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial
xVecN	OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix
xWO	OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude
xWord	OAlg.Data.X, OAlg.Prelude
xWordB	OAlg.Data.X, OAlg.Prelude
xZ	OAlg.Data.X, OAlg.Prelude
xZB	OAlg.Data.X, OAlg.Prelude