h%      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRNone '()./0134 linear-smcEquality-witnessing order type  !$#"%('&)*+,-./0123456789:;<=>?@-,+*)%('&.!$#"/012 3456789:;< =>?@   7(8.820None '()./0134STUVWXYZ[\]^_`abcdeNone '()./0140fghijklmnopqrstuvwxyz{|}~None" '()./0134 GHIJKLMNOPQR GKLMHJNRIOPQ H       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmn`opqrsZ]t_uvwxyz{||}~abcdefghijlinear-smc-1.0.0-inplaceControl.Category.ConstrainedControl.Category.LinearControl.Category.FreeCartesianControl.Category.FreeSMCOrderLTGTEQ HasCompare compareMorphs ComparatorHopf InvertibledualClosedapplycurry CoCartesianinlinrnewjam▿ Cartesianexlexrdisdup▵Monoidal×swapassocassoc'unitorunitor'⊗ProdObjprodobjobjprodobjunitCategoryObjid∘TrivialAllO4O3O2.objProdprodObjunitObj// disDefault exlDefault exrDefault▵!cartesianCrosscartesianUnitorcartesianUnitor' cartesianSwapcartesianAssoccartesianAssoc' jamDefault newDefault▿!transp $fTrivialka $fCategoryFUN$fProdObjTrivial $fMonoidalFUN$fCartesianFUN $fClosedFUNP:::!:encodeunitsplitmergedecodeignorecopydiscardreduce FreeCartesian:▵:EmbedP2P1IE:.:Cat:<::>:showDbgparens mapGenerators assocRight rightView assocLeftleftView evalCartesian SimplifierProtoSimplifierPartialComposerComposer:×:U'UA'ASUnitorIRILURULHasShowtoShowShofromShoXshoConcompareUnitorstrivializeUnitorcommuteUnitorsevalM evalUnitor evalUnitor'monoidalSimplify monoidalRules neverEqual mkSimplifiertoDuptoE:+