Îőłh,V už      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ĄąŁ€„Чš©Ș«Ź­źŻ°±ČłŽ”¶·0.3.0.1 Safe-InferredT:Constraint 1 ~ 2 = Constraint 1 2 2 ~ 3 = Constraint 2 3?bigSwapConstr >>> bigSwapConstr (Constraint 1 2) Constraint 2 1ëfindNewConstraint >>> findNewConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3] [[Constraint 3 2]]stepConstraint >>> stepConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3] [Constraint 3 1,Constraint 4 2,Constraint 4 1] constraintLoop >>> constraintLoop [Constraint 3 1, Constraint 4 2, Constraint 4 3] [Constraint 2 1,Constraint 3 1,Constraint 4 1]0------------------------------------------------?stepConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3].[Constraint 3 1,Constraint 4 2,Constraint 4 1]ÀfindNewConstraint [Constraint 3 1,Constraint 4 2,Constraint 4 1][[Constraint 2 1]]ÓstepConstraint ([Constraint 3 1,Constraint 4 2,Constraint 4 1] <> [Constraint 2 1]).[Constraint 2 1,Constraint 3 1,Constraint 4 1] ïconstrToSubMap >>> constrToSubMap [Constraint 3 1, Constraint 4 2, Constraint 4 3] fromList [(2,1),(3,1),(4,1)]     Safe-Inferred"/:ÄÎÙÛÜȚćìíńÿ& & ProtocolError/XFold0 XTraverse1Protocol6 MsgOrLabel9BranchSt;ForallXB xtraverseCxfold8DECB9:;68712345&.-)'(,*+#!$% "?>/=@A<08A@?>=<;9:678154320B/C&.-,+*)('D%$#"! E2 Safe-InferredÙȚćńÌba[\`dc]_ZXeYkjhgflminVW^RSTUSUTRVWXYZ[\]^_`abcdefghijklmnNone"/:ÄÎÙÛÜȚćìíńÿ BwutzxysvstuvwxyzNone'ÄÎÓÙÛÜȚćæń ‰ ƒ„€‚…‡†}~{| €}~{|‚ƒ„…†‡None"'/:ÄÎÓÙÛÜȚćæìíńÿ ôŸŁ§€°«©šȘĄź­ŻŹž„ą Š˜™š›œ’“•—–”›œžŸ ˜š™ĄąŁ€„Чš©Ș«’”•–—“Ź­źŻ°ž       !"#$%&'()*+,-./0123456789:;<=>?@AABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚‚ƒƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–———˜—™—š—›œžŸŸ ĄąŁ€„Чš©Ș«Ź­źŻ°±ČłŽ”¶·žčș»-typed-session-state-algorithm-0.3.0.1-inplaceTypedSession.State.ConstraintTypedSession.State.TypeTypedSession.State.ParserTypedSession.State.UtilsTypedSession.State.RenderTypedSession.State.Pipelinetyped-session-state-algorithm5SubMap ConstrainttoTuple bigSwapConstrsubFunreplacefindNewConstraintstepConstraintconstraintLoopconstrToSubMap$fShowConstraint$fEqConstraint$fOrdConstraintMsgT1MsgTTTNumBstListTAnyTEndGenConstAddNumsIdxCreatTracerTracerProtocolCreatTracerProtocolIdx TracerReRankTracerProtocolAddNumTracerProtocolGenConstTracerConstraints TracerSubMapTracerProtocolGenConstNTracerVerifyResultTracerCollectBranchDynValTracerProtocolMsgTTracerProtocolMsgT1 ProtocolErrorDefLabelMultTimesLabelUndefined#BranchFirstMsgMustHaveTheSameSenderUndecideStateCanNotSendMsgUndecideStateCanNotStartBranchTerminalNeedAllRoleDecideBranchAtLeastOneBranchAStateOnlyBeUsedForTheSamePairXFold XTraverseProtocol:>BranchGotoTerminal MsgOrLabelMsgLabelBranchStForallX XTerminalXGoto XBranchStXBranchXLabelXMsg xtraversexfold internalError traceWrapper$fShowMsgOrLabel$fPrettyMsgOrLabel$fShowProtocol$fShowBranchSt$fPrettyProtocol$fPrettyBranchSt$fShowProtocolError$fShowT $fShowTracer$fFunctorProtocol$fFunctorBranchSt$fFunctorMsgOrLabelParser ParserError EmptyInputTheFirstLetterNotCapitalized spaceConsumersymbollexememsglabelbranchbranchStgototerminalintegercommabracketsbracesdbg constrOrType mkParserAparseMsg parseLabel parseGoto parseTerminal parseBranchSt parseBranchparseMsgOrLabel parseProtocolrunProtocolParser$fShowErrorComponentParserError$fShowParserError$fEqParserError$fOrdParserErrorrestoreWrappergetFirstMsgInfo getAllMsgInfotellSeqcompressSubMap replaceList replaceValrRangeRVLV RenderProtparensWarapper mkLeftStrrender1XTraversefillStrmkLinerender2XTraverse runRender1 runRender$fShowRV$fEqRV$fOrdRV$fNumRV $fBoundedRV$fShowLV$fEqLV$fOrdLV$fNumLV $fBoundedLV PipeResultstBounddnySetmsgT1msgTCurrStDecideUndecideIndexaddIdxXTraversereRankXTraverseaddNumsXTraversetoGenConstrXTraverse getRCurrStrestoreWrapper1checkProtXFoldgenConstrXFold replXTraverseverifyProtXFoldcollectBranchDynValXFoldgenTgenMsgTXTraverse getFirstXVgenMsgT1XTraversereRankpipe'pipepipeWithTracergenGraph $fShowCurrSt $fEqCurrSt $fOrdCurrSt $fShowIndex $fEqIndex $fOrdIndex $fNumIndex