нУЁh&ж ╒Ґэ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е ф г х и й к л м н о п я р с т у ж в ь ы з ш э щ ч ъ Ю А Б Ц Д Е Ф Г Х И Й К Л М Н О П Я Р С Т У Ж В Ь Ы З Ш Э Щ Ч Ъ ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е ф г х и й к л м н о п я р с т у ж в ь ы з ш р Safe-Inferred"ацт$ funcons-toolsфAn alternative is either a datatype constructor or the inclusion of some other type. The types are arbitrary funcon terms (with possible variables) that may require evaluation to be resolved to a . funcons-toolsоA datatype has `zero or more' type parameters and `zero or more' alternatives. funcons-toolsдA type parameter is of the form X:T where the name of the parameter,X, is optional. When present, X< can be used to specify the type of constructors. Variable X be a sequence variable. funcons-toolsюThe typing environment maps datatype names to their definitions. funcons-tools Representation of builtin types. funcons-tools(Funcon term representation identical to /, but with meta-variables./ funcons-toolsцInternal representation of funcon terms. The generic constructors 0 and 1Э use names to represent nullary funcons and applications of funcons to other terms. Funcon terms are easily created using =, or via the smart constructors exported by Funcons.Core.= funcons-tools▀Build funcon terms by applying a funcon name to `zero or more' funcon terms. This function is useful for defining smart constructors, e,g,сhandle_thrown_ :: [Funcons] -> Funcons handle_thrown_ = applyFuncon "handle-thrown"or alternatively,Фhandle_thrown_ :: Funcons -> Funcons -> Funcons handle_thrown_ x y = applyFuncon "handle-thrown" [x,y]э funcons-toolsCreates a list of funcon terms.> funcons-toolsCreates a set of funcon terms.? funcons-toolsCreates an integer literal.@ funcons-toolsCreates a natural literal.C funcons-toolsCreates an atom from a щ .D funcons-toolsCreates a string literal.ч funcons-toolsThe empty map as a /.ъ funcons-toolsThe empty map as a /.Ю funcons-toolsThe empty set as a /.P funcons-toolsоCreates a tuple of funcon terms. tuple_ :: [Funcons] -> Funcons tuple_ = FTupleS funcons-toolsReturns the unicodeл representation of an assci value. Otherwise it returns the original value.-Attempt to downcast a funcon term to a value.b funcons-tools>Lookup the definition of a datatype in the typing environment.c funcons-tools The empty .d funcons-toolsUnites a list of s.e funcons-toolsUnites two s.f funcons-tools Creates a from a list.╘А Б Ц Д Е Ф Г Х И Й К Л М Н О П Я Р С Т У Ж В Ь Ы З Ш Э Щ Ч Ъ ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е ф г х и й к л м н о п я р с т у ж в ь ы з ш э щ ч ъ Ю А Б Ц Д Е Ф Г Х И Й К Л М Н О П Я Р С Т У Ж В Ь Ы З .-,+*)('&%$#"! /<;:9876543201Ш Э =Щ э >Ч Ъ ─│┌┐└┘├┤?@ABCDEFGHIJKLMNч ъ Ю OP┬┴┼Q▀R▄█▌▐░▒S▓T⌠■∙√≈U≤VWXYZ≥[ \⌡°]^²_`·abcdef Safe-Inferred"($glkjihmnopqrstuvwxyz{|}~─│┌┐mnopqrstuvwxyz{|}glkjih~─│┌┐ Safe-Inferred"(█nopqnopq Safe-Inferred"бт+°└ funcons-toolsСSeveral sources of nondeterminism exists, i.e. locations where a choice between a sequence of valid alternatives are made. These options turn on pseudo-random selection of an alternative, based on a seed provide (configuration option `--seed INTС`) If random selection is not turned on for a particular location, the first alternative in the sequence is chosen├ funcons-tools'Several rules of a funcon may "overlap"┤ funcons-tools=ambiguity when multiple sequence variables occur in a pattern┬ funcons-toolsЙstrict parameters in a funcon signature induce congruence rules that can be considered in different ordersи funcons-tools2value operations may produce several valid resultsд└┬┤├┘┴▐▌█▄▀┼░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгд⌠▓▒░┴▐▌█▄▀┼└┬┤├┘■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефг Safe-Inferred"-Зл funcons-toolsPretty-print a .м funcons-toolsPretty-print a sequence of .о funcons-toolsPretty-print a /.п funcons-toolsPretty-print a sequence of /.я funcons-toolsPretty-print a .÷ funcons-toolsPretty-print a sort or х ÷ ║ ═лмн║оп╒я÷рёє Safe-Inferred.?счщэшзыьжувтъ╔ії╗ Safe-Inferred"ацт.▐╘╙╚╛ґў Safe-Inferred"ацтвэЦKK+Ю funcons-toolsA map storing the values of input entities.А funcons-toolsa map storing the values of output entities.Б funcons-toolsa map storing the values of control entities.Ц funcons-toolsa map storing the values of inherited entities.Д funcons-toolsA map storing the values of mutable entities.Е funcons-toolsєMonadic type for the propagation of semantic entities and meta-information on the evaluation of funcons. The meta-information includes a library of funcons (see Ж), a typing environment (see ), runtime options, etc.4The semantic entities are divided into five classes:цinherited entities, propagated similar to values of a reader monad.юmutable entities, propagated similar to values of a state monad.юoutput entities, propagation similar to values of a write monad.йcontrol entities, similar to output entities except only a single control signal= can be emitted at once (signals do not form a monoid).╠input entities, propagated like values of a state monad, but access like value of a reader monad. This package provides simulated input/outout and real interaction via the ╞ monad. See Funcons.Tools.ЬFor each entity class a map is propagated, mapping entity names to values. This enables modular access to the entities.Ф funcons-tools░Monadic type for the implicit propagation of meta-information on the evaluation of funcon terms (no semantic entities). It is separated from ЕУ to ensure that side-effects (access or modification of semantic entities) can not occur during syntactic rewrites.╟ funcons-toolsПA single step on a funcon term produces either a funcon term or a (possibly empty or unary) sequence of valuesГ funcons-toolsеAfter a term is fully rewritten it is either a value or a term that requires a computational step to proceed. This types forms the interface between syntactic rewrites and computational steps.╠ funcons-toolsFully rewritten to a value.╡ funcons-toolsгFully rewritten to a term and the step required to continue evaluation.Х funcons-toolsцDenotes whether an argument of a funcon should be evaluated or not.К funcons-tools=Type synonym for the evaluation functions of nullary funcons.Л funcons-tools"Type synonym for value operations.М funcons-tools?Type synonym for the evaluation function of non-strict funcons.Н funcons-toolsеType synonym for the evaluation function of fully non-strict funcons.О funcons-toolsзType synonym for the evaluation function of strict funcons. The evaluation function of a П$ receives fully evaluated arguments.П funcons-tools≤Evaluation functions capture the operational behaviour of a funcon. Evaluation functions come in multiple flavours, each with a different treatment of the arguments of the funcon. Before the application of an evaluation funcon, any argument may be evaluated, depending on the Х of the argument.Я funcons-tools Funcons for which arguments are not evaluated.Р funcons-tools-Strict funcons whose arguments are evaluated.С funcons-toolsFuncons for which some arguments are evaluated.Т funcons-toolsSynonym for П, for value operations.У funcons-toolsFuncons without any arguments.Ж funcons-toolsаA funcon library maps funcon names to their evaluation functions.З funcons-toolsCreates an empty Ж.Ш funcons-toolsUnites two Жs.Э funcons-toolsRight-based union of ЖsЩ funcons-toolsUnites a list of Жs.Ч funcons-toolsRight-based union of list of ЖsЪ funcons-tools Creates a Ж from a list.┌ funcons-tools Function ┌У implements a backtracking procedure. It receives two lists of alternatives as arguments, the first containing all rewrite rules of a funcon and the second all step rules. The first successful rule is the only rule fully executed. A rule is unsuccessfulм if it throws an exception. Some of these exceptions (partial operation, sort error or pattern-match failure) cause the next alternative to be tried. Other exceptions (different forms of internal errors) will be propagated further. All side-effects of attempting a rule are discarded when a rule turns out not to be applicable.©First all rewrite rules are attempted, therefore avoiding performing a step until it is absolutely necessary. This is a valid strategy as valid (I)MSOS rules can be considered in any order.зWhen no rules are successfully executed to completetion a 'no rule exception' is thrown.Ё funcons-toolsИUses the random number generator of Rewrite to randomly select an element of a given list. The element is returned, together with the list from which the element has been removed Raises an internal exception if given an empty list┐ funcons-toolsЧYields an error signaling that no rule is applicable. The funcon term argument may be used to provide a useful error message.└ funcons-toolsыYields an error signaling that a sort error was encountered. These errors render a rule inapplicableб and a next rule is attempted when a backtracking procedure like ┌у is applied. The funcon term argument may be used to provide a useful error message.┘ funcons-tools≈Yields an error signaling that a partial operation was applied to a value outside of its domain (e.g. division by zero). These errors render a rule inapplicableб and a next rule is attempted when a backtracking procedure like ┌у is applied. The funcon term argument may be used to provide a useful error message.├ funcons-tools+Returns a value as a fully rewritten term. ┤ funcons-toolsАYield a funcon term as the result of a syntactic rewrite. This function must be used instead of return%. The given term is fully rewritten.┬ funcons-toolsРYield a sequence of funcon terms as the result of a rewrite. This is only valid when all terms rewrite to a value┴ funcons-tools(Yield a funcon term as the result of an Е5 computation. This function must be used instead of return. ┼ funcons-toolsЖYield a sequence of funcon terms as the result of a computation. This is only valid when all terms rewrite to a value▀ funcons-toolsУExecute a premise as either a rewrite or a step. Depending on whether only rewrites are necessary to yield a value, or whether a computational step is necessary, a different continuation is applied (first and second argument). Example usage:сstepScope :: NonStrictFuncon --strict in first argument stepScope [FValue (Map e1), x] = premiseEval x rule1 step1 where rule1 v = rewritten v step1 stepX = do Map e0 <- getInh "environment" x' <- withInh "environment" (Map (union e1 e0)) stepX stepTo (scope_ [FValue e1, x']) Є funcons-tools"Execute a computational step as a premise7. The result of the step is the returned funcon term. █ funcons-tools Yield an ЕЧ computation as a fully rewritten term. This function must be used in order to access entities in the definition of funcons.█ =лмопя÷╔╘╙ґ╛╚ЮАБЦДЕ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефФгхийклмнопярсту╟Г╠╡ХИЙКЛМНОПТРСЯУЖжВЬЫЗШЭЩЧЪвьызшэщ─ч│┌ъЮАБЦДЕФГХИЙК┐└┘ЛМНОП├Я┤┬┴┼▀Є▄РСТУЖВЬЫЗШ█ЭЩЧ Safe-InferredЦNЁ▌ funcons-tools█An environment mapping meta-variables to funcon terms. This environment is used by a substitution procedure to transform funcon terms from representation to /.▐ funcons-toolsоThe empty substitution environment. Bindings are inserted by pattern-matching.░ funcons-toolsVariant of ┤ that applies substitution.▒ funcons-toolsVariant of ┴ that applies substitution.∙ funcons-toolsЦApply as many rewrites as possible to the term bound to the given variable in the meta-environmentЪ─│┌┐└┘▌▐├┤┬┴┼▀▄█▌▐░▒▓░▒▓⌠■∙ Safe-Inferred"5тЦW÷√ funcons-toolsкCSB supports five kinds of side conditions. Each of the side conditions are explained below. When a side condition is not accepted an exception is thrown that is caught by the backtrackign procedure ┌. A value is a ground value9 if it is not a thunk (and not composed out of thunks).≈ funcons-toolsT1 == T2. Accepted only when T1 and T2 rewrite to equal ground values.≤ funcons-tools T1 =/= T2. Accepted only when T1 and T2 rewrite to unequal ground values.≥ funcons-toolsT1 : T2. Accepted only when T2 rewrites to a type and T1" rewrites to a value of that type. funcons-tools ~(T1 : T2). Accepted only when T2 rewrites to a type and T1 rewrites to a value not of that type.⌡ funcons-toolsT = P. Accepted only when T. rewrites to a value that matches the pattern P. (May produce new bindings in ▌).° funcons-toolsPatterns for matching values ().╔ funcons-tools$Patterns for matching funcon terms ().╛ funcons-toolsVariant of ґ that is lifted into the Е monad.ґ funcons-toolsАMatching values with value patterns patterns. If the list of patterns is a singleton list, then ґф attempts to match the values as a tuple against the pattern as well.⌠ funcons-tools#Match stricly values with patterns.ў funcons-toolsVariant of ▄. that applies substitute and pattern-matching.╞ funcons-toolsVariant of ╟ that is lifted into the Е- monad. If all given terms are values, then ґ is used instead.╟ funcons-tools4Match a sequence of terms to a sequence of patterns.╠ funcons-toolsVariant of ╡ that is lifted into the Е monad.╡ funcons-tools$Executes a side condition, given an ▌у environment, throwing possible exceptions, and possibly extending the environment.■ funcons-toolsЙTo type check a sequence values simply checker whether all elements of the sequence are of the given typeЄ funcons-tools7Parameterisable evaluation function function for types.и√⌡ ≥≤≈°єё╒²·═║÷╔╙╘╗їі∙√≈≤≥ ╚⌡°²╛ґ⌠ў╞╟·÷═║╒ёє╔ії╗╘╙╚╛ґ╠╡ў╞╟╠╡Ё■Є╣ЁІЇ╦╧Є╣ІЇ Safe-Inferred"Z ╦ funcons-tools"Used for replacing meta-variables T6 in pattern annotations `P:T` with the type to which T+ is bound in some type-environment (if any)Ў funcons-tools-Associates types (Terms) with meta-variables © funcons-toolsVersion of ╧; that does not replace the meta-variables in the given setю funcons-toolsVersion of ╨; that does not replace the meta-variables in the given set ╦╨╧╩Ґ╪Ў©ю Safe-Inferred"Цdоа funcons-tools0Default values of entities can be specified for inherited and mutable entities. д funcons-tools├For the purpose of unit-testing it is advised to notify an interpreter of the existence of control, output and input entities as well.г funcons-tools A list of а9s is used to declare (and possibly initialise) entities.х funcons-tools%Get the value of some mutable entity.и funcons-toolsVariant of х that performs pattern-matching.й funcons-tools%Set the value of some mutable entity.к funcons-toolsVariant of й that applies substitution.╨ funcons-toolsЭConsume a single value from the input stream. | Throws an 'unsufficient input' exception, if not enough input is available.л funcons-tools Provides extraй values to a certain input entity, available to be consumed by the given Е computation argument.м funcons-toolsProvides an exact8 amount of input for some input entity, that is to be completely consumed by the given Еъ computation. If less output is consumed a 'insufficient input consumed' exception is thrown.н funcons-toolsVariant of ╨ that matches the given °% to the consumed value in the given ▌. о funcons-toolsVariant of л that performs substitution.п funcons-toolsVariant of м that performs substitution.я funcons-tools3Receive the value of a control entity from a given Е computation.р funcons-toolsVariant of receiveSignal that performs pattern-matching.с funcons-tools&Signal a value of some control entity.т funcons-toolsVariant of с that applies substitution.╩ funcons-toolsаSet the value of an downwards control entity. The new value is only set for Е' computation given as a third argument.╪ funcons-tools(Get the value of an down control entity.ж funcons-toolsVersion of ╪ that applies pattern-matching.в funcons-tools%Get the value of an inherited entity.ь funcons-toolsVersion of в that applies pattern-matching.ы funcons-tools9Set the value of an inherited entity. The new value is only set for Е' computation given as a third argument.з funcons-toolsVariant of ы that performs substitution.ш funcons-tools*Add new values to a certain output entity.э funcons-toolsVariant of ш that applies substitution.щ funcons-toolsмRead the values of a certain output entity. The output is obtained from the Е( computation given as a second argument.ч funcons-toolsVariant of щ that performs pattern-matching.абцдефгҐхийклмнопярстужвьызшэщч Safe-Inferred"f1ъ funcons-tools║Create an environment from a list of bindings (String to Values) This function has been introduced for easy expression of the semantics of builtin identifiers Ю funcons-tools0A funcon library with funcons for builtin types.Ы !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefлмнопярЮАБЦДЕФГХИЙКЛМНОПТРСЯУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°÷║═·²╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡Є╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЫ/0123456789:;< =АБЦД>Qъ?ABHIOJKFG@LMNDEC`_aPЕГФЙХИКлмопярнUYXZ[]^W\VTSПТРСЯУХИЙОМНЛКЖЗШЭЩЧЪЮЫВЬЕФГ┤┬┴┼█├▄▀┐└┘ЦвыДхйАшщБсяЮлм !"#$%&'()*+,-.▌▐R░▒ўзькиэчртнопуж┌│─√≈≤≥ ⌡╡╠°÷║═·²╒ёє╔ії╗╘╙ґ╟╚╛╞╣ІЇ∙⌠■▓Ў╩╪Ґ╦╧╨©юЄгабцдеф bedfc Safe-Inferred"Цk8Л funcons-tools╞This function implements the ==CT=> relation. Compiling programs to executable funcons terms, removing occurrences of `meta-up`, `meta-down` and `meta-let` and `meta-bound`.М funcons-toolsЮThis function implements the ==UL=> relation. Translating a funcon into its meta-representationН funcons-toolsУThis function implements the ==DL=> relation. Translating a meta-representation of a program into the actual programЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌ЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌ Safe-Inferred"k╩Ў©ю┐└┘├┤┬┴┼▀▄█▌▐░▒ Safe-Inferred"Цl а▓⌠■∙√≈ Safe-Inferred"l?б≤ Safe-Inferred"lkцде≥ ⌡°² Safe-Inferred"lёфгх·÷═║╒ёє╔ії╗╘╙╚╛ґў Safe-Inferred"lСийк╞╟╠╡ЁЄ╣ІЇ╦╧╨ Safe-Inferred"m9л╩╪ҐЎ©юабцдефгх Safe-Inferred"mмноийклмнопярстужвьызшэщчъЮАБ Safe-Inferred"mАпярЦДЕФГХИЙКЛМНОПЯРС Safe-Inferred"n1сТ Safe-Inferred"n]'тУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ Safe-Inferred"nслу⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕ Safe-Inferred"o■жФГХИЙКЛМНО Safe-Inferred"oрвПЯ! Safe-Inferred"p ьызРСТУЖВ" Safe-Inferred"p:шэщЬЫЗШЭЩЧЪ# Safe-Inferred"pxчъЮ─│┌┐└┘├┤$ Safe-Inferred"pІАБЦ┬┴┼▀▄█▌▐░▒▓⌠■∙√≈% Safe-Inferred"q ДЕФ≤≥ ⌡°²& Safe-Inferred"q>Г·÷═║╒ёє╔ії╗╘╙' Safe-Inferred"q┌ХИЙ╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©ю( Safe-Inferred"qэ КЛМабцдефгхий) Safe-Inferred"rНОПклмнопяр* Safe-Inferred"r\ЯРСстужвьызшэщчъЮАБ+ Safe-Inferred"r╙ТЦДЕФГХИ, Safe-Inferred"siЯ funcons-toolsЯComputes the union over a sequence of maps. If the maps do not have disjoint domains a failure signal is raised.УЙКЛМНОПЯРСТУЖВЬ- Safe-Inferred"s╠ЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌. Safe-Inferred"tЫ▐░/ Safe-Inferred"t9ЗШЭ▒▓0 Safe-Inferred"ЦtmЩ⌠■∙√≈≤≥ ⌡°²·÷1 Safe-Inferred"t╠ЧЪ─═║╒ё2 Safe-Inferred"tГ│┌┐є╔ії╗╘╙╚╛ґў╞╟╠╡Ё3 Safe-Inferred"u5└┘├Є╣ІЇ╦╧╨╩╪ҐЎ©юабцдеф4 Safe-Inferred"u┴┤┬┴гхийклмн5 Safe-Inferred"uг ┼▀▄опярст6 Safe-Inferred"v█▌▐ужвьызшэщчъЮАБЦДЕФГХИЙКЛ7 Safe-Inferred"v_░▒▓МНОПЯРСТ8 Safe-Inferred"v²⌠■∙УЖВЬЫЗШЭЩЧЪ─│┌┐└9 Safe-Inferred"vК√≈≤┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═: Safe-Inferred"wQ!≥ ⌡║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ; Safe-Inferred"w╩7°²·©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯР< Safe-Inferred"xQк÷═║СТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨= Safe-Inferred"y*╒ёє╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮА> Safe-Inferred"y▄╔іїБЦДЕФГХИ? Safe-Inferred"yй╗╘╙ЙКЛМНОПЯРСТУЖВЬЫЗ@ Safe-Inferred"z╚╛ґШЭЩЧA Safe-Inferred"zP ў╞╟Ъ─ │ ┌ ┐ └ B Safe-Inferred"z┼╠╡Ё┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° C Safe-Inferred"zХ² · ÷ D Safe-Inferred"{Є╣І═ ║ ╒ ё E Safe-Inferred"{L%Ї╦╧є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е F Safe-Inferred"{Ў+╨╩╪ф г х и й к л м н о п я р с т у ж в ь ы з ш э щ ч ъ Ю А Б Ц Д Е Ф Г Х И Й К Л М G Safe-Inferred"|<ҐЎ©юаH Safe-Inferred"|nбцдН О П Я Р С Т У Ж В Ь Ы З Ш I Safe-Inferred"|╦ефгЭ Щ J Safe-Inferred"|Й хийЧ Ъ ─ │ ┌ ┐ └ ┘ ├ ┤ K Safe-Inferred"}, клм┬ ┴ ┼ ▀ ▄ █ L Safe-Inferred"}fноп▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · M Safe-Inferred"}Іярс÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ N Safe-Inferred"}Ч туж╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ O Safe-Inferred"~@ вьыІ Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © P Safe-Inferred"~┌зшэю а б ц д е ф г Q Safe-Inferred~©─┐└┘├┤┬┴┼▀▄█▌▐░▒≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨ийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▒▓═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е ф г х и й к л м н о п я р с т у ж в ь ы з ш э щ ч ъ Ю А Б Ц Д Е Ф Г Х И Й К Л М Н О П Я Р С Т У Ж В Ь Ы З Ш Э Щ Ч Ъ ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е ф г х и й R Safe-Inferred"└Хщк л Safe-Inferred┘х▓⌠■∙√≈≤╩╪ҐЎ©юабцдефгхТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯ·÷═║╒ёє╔ії╗╘╙ЦДЕФГХИЙКЛМНОПЯРСТУЖВЬ▐░⌠■∙√≈≤≥ ⌡°²·÷к л м км ² · ÷ ·÷═║╒ёє╔ії╗╘╙ЦДЕФГХИЙКЛМНОПЯРСТУЖВЬ▐░⌠■∙√≈≤≥ ⌡°²·÷≤ФГХИЙКЛМНОУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕПЯТ╩╪ҐЎ©юабцдефгх▓⌠■∙√≈к л Safe-Inferred"▓█н funcons-tools(The empty collection of entity defaults.о funcons-tools Creates a mainу function for the default interpreter (no extension). The executable made from this main? function receives command line argumenst as explained above ( Funcons.Tools). п funcons-tools Creates a mainА function for the interpreter obtained by extending the default library with the funcons in the Ж argument.я funcons-tools Creates a mainЦ function for the interpreter obtained by extending the main interpreter with the funcons in the Ж? argument and with default values for entities defined in the г argument.р funcons-tools Creates a mainБ function for the interpreter obtained by extending the main interpreter with the funcons in the Ж argument and with a = mapping datatypes to their constructors and type arguments.с funcons-tools Creates a mainь function for the interpreter obtained by extending the main interpreter with funcons, г and a . т funcons-tools Creates a main7 function for the interpreter aware of only the given Ж, г and . у funcons-tools Creates a main7 function for the interpreter aware of only the given Ж, г and *, and the built-in types and operations. ж funcons-toolsSame as ы А, except receiving additional interpreter extensions as arguments. Useful when a translation to /- has been implemented in Haskell as well as /г, entities or datatypes specific to the object language. Includes the ST funcons.в funcons-toolsSame as ы А, except receiving additional interpreter extensions as arguments. Useful when a translation to /- has been implemented in Haskell as well as /о, entities or datatypes specific to the object language. Does not include the ST funcons.ь funcons-toolsSame as ы А, except receiving additional interpreter extensions as arguments. Useful when a translation to /- has been implemented in Haskell as well as /о, entities or datatypes specific to the object language. Does not include the ST funcons.ы funcons-toolsАCreates a main function by passing in a list of command line arguments and an optional initial / to execute. The /│ argument is optional as one of the command line arguments may refer to an .fct file or .config file that specifies an initial /% term. Useful when a translation to /! has been implemented in Haskell.% cdefЖЗШЭЩЧЪабцдефгн о п я р с т у ж в ь ы %о п я р с т у ы ж в ь ЖЗШЭЩЧЪ cedfгабцдефн Safe-Inferred⌠1и?@┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е ф г х и й к л м н о п я р с т у ж в ь ы з ш э щ ч ъ Ю А Б Ц Д Е Ф Г Х И Й К Л М Н О П Я Р С Т У Ж В Ь Ы З Ш Э Щ Ч Ъ ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е ф г х и й к л м и?@х и й ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯР┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ┬ ┴ ┼ ▀ ▄ █ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ ю а б ц д е ф г Ч Ъ ─ │ ┌ ┐ └ ┘ ├ ┤ Э Щ Н О П Я Р С Т У Ж В Ь Ы З Ш ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ЙКЛМНОПЯРСТУЖВЬЫЗф г х и й к л м н о п я р с т у ж в ь ы з ш э щ ч ъ Ю А Б Ц Д Е Ф Г Х И Й К Л М ┘ ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° Ъ─ │ ┌ ┐ └ є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ Ґ Ў © ю а б ц д е ═ ║ ╒ ё БЦДЕФГХИШЭЩЧ╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРС≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨УЖВЬЫЗШЭЩЧЪ─│┌┐└опярстМНОПЯРСТужвьызшэщчъЮАБЦДЕФГХИЙКЛ┐└┘├┤┬┴┼▀▄█▌▐░▒Є╣ІЇ╦╧╨╩╪ҐЎ©юабцдефстужвьызшэщчъЮАБабцдефгхий═║╒ёклмнопяр▒▓╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юРСТУЖВ┬┴┼▀▄█▌▐░▒▓⌠■∙√≈ЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌─│┌┐└┘├┤ЬЫЗШЭЩЧЪ≤≥ ⌡°²є╔ії╗╘╙╚╛ґў╞╟╠╡Ёгхийклмн▓⌠■∙√≈≤╩╪ҐЎ©юабцефгхТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯ·÷═║╒ёє╔ії╗╘╙ЦДЕФГХИЙКЛМНОПЯРСТУЖВЬ▐░⌠■∙√≈≤≥ ⌡°²·÷к л м Safe-Inferred╒yствужьызшэщчъЁз ш ш з ъствужьызшэщчЁчUVWUVXUVYUVZUV[UV\UV]UV^UV_UV`UVaUVb c d e f g h i j k l m n o p q r s t u v w x y z { | } ~ ─ │ ┌ ┐ └ ┘ S ├ ┤ ┬ ┴ ┼ ▀ ▄ █ ▌ ▐ ░ ▒ ▓ ⌠ ■ ∙ √ ≈ ≤ ≥ ⌡ ° ² · ÷ ═ ║ ╒ ё є ╔ і ї ╗ ╘ ╙ ╚ ╛ ґ ў ╞ ╟ ╠ ╡ Ё Є ╣ І Ї ╦ ╧ ╨ ╩ ╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌о▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдбцаю©ефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцде╞фгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²▓·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©ю≈а╣бцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣ІЇ╦╧╨ ╩ ≥!╪!Ґ!Ў!©!Ї!ю"а"б"ц"д"е"ф"г"х#и#й#к#л#м#н#о#п$я$р$с$т$у$ж$в$ь$ы$з$ш$э$щ$ч$ъ$Ю%А%Б% %Ц%Д%Е&Ф&Г&Х&И&Й&К&Л&■&М&Н&О&П&Я'Р'С'Т'У'Ж'В'Ь'Ы'З'Ш'Э'Щ'Ч'Ъ'─'│'┌'┐'└'┘'├'┤(┬(┴(┼(▀(▄(█(▌(▐(░(▒)▓)⌠)■)∙)√)≈)≤)≥* *⌡*°*²*·*÷*═*║*╒*ё*є*╔*і*ї*╗*╘+╙+╚+╛+ґ+ў+╞+╟,╠,╡,Ё,Є,╣,І,Ї,╦,╧,╨,╩,╪,Ґ,Ў,©-ю-а-б-ц-д-е-ф-г-х-и-й-к-л-м-н-о-п-я-р-с-т-у.ж.в/ь/ы0з0ш0э0щ0ч0ъ0Ю0А0Б0Ц0Д0Е0Ф1Г1Х1И1Й2К2Л2М2Н2О2П2Я2Р2С2Т2У2Ж2В2Ь2Ы2З3Ш3Э3Щ3Ч3Ъ3─3│3┌3┐3└3┘3├3┤3┬3┴3┼3▀3▄3█4▌4▐4░4▒4▓4⌠4■4∙5√5≈5≤5≥5 5⌡6°6²6·6÷6═6║6╒6ё6є6╔6і6ї6╗6╘6╙6╚6╛6ґ6ў6╞6╟6╠6╡6Ё7Є7╣7І7Ї7╦7╧7╨7╩8╪8Ґ8Ў8©8ю8а8б8ц8д8е8ф8г8х8и8й8к9л9м9н9о9п9я9р9с9т9у9ж9в9ь9ы9з9ш9э9щ9ч9ъ9Ю9А9Б9Ц9Д9Е9Ф9Г:Х:И:Й:К:Л:М:Н:О:П:Я:Р:С:Т:У:Ж:В:Ь:Ы:З:Ш:Э:Щ:Ч:Ъ:─:│:┌:┐:└:┘;├;┤;┬;┴;┼;▀;▄;█;▌;▐;░;▒;▓;⌠;■;∙;√;≈;≤;≥; ;⌡;°;²;·;÷;═;║;╒;ё;є;╔;і;ї;╗;╘;╙;╚;╛;ґ;ў;╞;╟;╠;╡;Ё;Є;╣;І;Ї;╦;╧<╨<╩<╪<Ґ<Ў<©<ю<а<б<ц<д<е<ф<г<х<и<й<к<л<м<н<о<п<я<р<с<т<у<ж<в<ь<ы<з<ш<э<щ<ч<ъ<Ю<А<Б<Ц<Д<Е<Ф<Г<Х<И<Й<К<Л<М<Н<О<П<Я<Р<С<Т<У<Ж<В<Ь<Ы<З<Ш<Э<Щ<Ч<Ъ<─ <│ =┌ =┐ =└ =┘ =├ =┤ =┬ =┴ =┼ =▀ =▄ =█ =▌ =▐ =░ =▒ =▓ =⌠ =■ =∙ =√ =≈ =≤ =≥ = =⌡ =° =² =· =÷ =═ =║ =╒ =ё =є =╔ =і =ї =╗ >╘ >╙ >╚ >╛ >ґ >ў >╞ >╟ ?╠ ?╡ ?Ё ?Є ?╣ ?І ?Ї ?╦ ?╧ ?╨ ?╩ ?╪ ?Ґ ?Ў ?© ?ю ?а @б @ц @д @е Aф Aг Aх Aи Aй Aк Bл Bм Bн Bо Bп Bя Bр Bс Bт Bу Bж Bв Bь Bы Bз Bш Bэ Bщ Bч Bъ BЮ BА BБ BЦ C╞CД CЕ DФ DГ DХ DИ EЙ EК EЛ EМ EН EО EП EЯ EР EС EТ EУ EЖ EВ EЬ EЫ EЗ EШ EЭ EЩ EЧ EЪ E─ E│ E┌ E┐ E└ E┘ E├ E┤ E┬ E┴ E┼ E▀ F▄ F█ F▌ F▐ F░ F▒ F▓ F⌠ F■ F∙ F√ F≈ F≤ F≥ F F⌡ F° F² F· F÷ F═ F║ F╒ Fё Fє F╔ Fі Fї F╗ F╘ F╙ F╚ F╛ Fґ Fў F╞ F╟ F╠ F╡ FЁ HЄ H╣ HІ HЇ H╦ H╧ H╨ H╩ H╪ HҐ HЎ H© Hю Hа Iб Iц Jд Jе Jф Jг Jх Jи Jй Jк Jл Jм Kн Kо Kп Kя Kр Kс Lт Lу Lж Lв Lь Lы Lз Lш Lэ Lщ Lч Lъ LЮ LА LБ LЦ LД MЕ MФ MГ MХ MИ MЙ MК MЛ MМ MН MО MП MЯ NР NС NТ NУ NЖ NВ NЬ NЫ NЗ NШ OЭ OЩ OЧ OЪ O─O│O┌O┐O└O┘P├P┤P┬P┴P┼P▀P▄P█Q▌Q▐Q░R▒R▓╞⌠■∙√≈≤≥ ⌡°²·÷═ ю║╒ё є Ё ╔UіїUі╗Uі╞U╘╙U╘╚U╘╛U╘ґU╘ўU╘╞U╟╠U╟ЕU╟╡U╟ЦU╟АU╟ъU╟ЁU╟ЄU╣ІU╣ЇU╣╦U╣╧U╣╨U╣╩U╪ҐU╪ЎU╪©U╪юU╪аU╪╦U╪бU╪╨U╪цU╪╧U╪дU╪ЇU╪еU╪ІU╪фU╪╣U╪гU╪ЄU╪хU╪ЁU╪иU╪╡U╪йU╪╠UклUкмUкнUкоUкпUкяUкрUквUксUкжUктUужUуДUувUуБUуьUуЮUуыUучUузUуэUушUуьUуэUузUущUужUучUууUуъUуяUуЮUуиUухUуАUугUуфUуБUуоUуЦUумUуДUунUулUукUуЕUуФUуГUудUуХUубUуИUуЙUурUутUКЛUКМUКнUКкUКНUКОUКПUКрUКЯUКхUКРUКСUКТUКеUКУUКЖUКВUКтUЬЫUЬ©UЬЗUЬШUЬЭUЬ╦UЬ╩UЬЩUЬ╪UЬЧUЬ╣UЬЪUЬЇUЬ─UЬ╨UЬ│UЬІUЬ┌UЬЄUЬ┐UЬ└UЬ┘UЬ╡UЬ╠U├┤U├╟U├┬U├╞U├┴U├ўU├┼U├ґU├▀U├╛U├╚U├╙U▄█U▄ПU▄▌U▄ОU▄НU▄▐U▄ЛU▄░U▄КU▄▒U▄ЙU▄ИU▄▓U▄ХU▄⌠U▄ГU▄■U▄МU▄∙U▄ЯU▄ФU√≈U√≤U√≥U√ U√⌡U√°U√²U√·U√÷U√═U√║U√╒U√оUёєUё╔UёіUёФUёїUё╗U╘╙U╘╚U╘╛U╘ґU╘ўU╘╞U╘╟U╘╠U╘тU╘╡U╘ХU╘ЁU╘ЄU╘ЕU╘╣U╘░U╘ІU╘АU╘ЇU╘ЮU╦╧U╦щU╦╡U╦╟U╦©U╦╨U╦╩U╪ҐU╪≈U╪ЎU╪©U╪юU╪⌠U╪аU╪▓U╪бU╪цU╪дU╪еU╪фU╪┴U╪гU╪хU╪иU╪░U╪йU╪▀U╪кU╪∙UлмUлнUл≥UлоUлФUлпUярUясUятUяуUжвUжьUжыUжзUжшUжэUжщUжчUжъUЮАUЮБUЦДUЦЕUЦФUЦГUЦХUЦИUЦЙUЦКUЦЛUЦМUЦНUЦОUЦПUЦЯUЦРUЦСUЦТUЦУUЦЖUЦВUЦЬUЦЫUЦЗUЦШUЦЭUЦЩUЦЧUЦЪUЦ─ UЦ│ UЦ┌ UЦ┐ UЦ└ UЦЭUЦШUЦЗUЦЫUЦЬUЦ┘ UЦ├ UЦ┤ UЦ┬ UЦ┴ UЦ┼ UЦ▀ UЦ┤ UЦ┬ UЦ┴ UЦ▀ UЦ┼ UV▄ UV█ UV▌ UV▐ UV░ UV▒ UV▓ UV⌠ UV■ UV∙ UV√ UV≈ UV≤ UV≥ UV UV⌡ UV° UV² UV· UV÷ UV═ UV║ UV╒ UVё UVє UV╔ UVі UVї UV╗ UV╘ UV╙ UV╚ UV╛ UVґ UVў UV╞ UV╟ UV╠ UV╡ UVЁ UVЄ UV╣ UVІ UVЇ UV╦ UV╧ UV╨ UV╩ UV╪ UVҐ UVЎ UV© UVю UVа UVб UVц UVд UVе UVф UVг UVх UVи UVй UVк UVл UVм UVн UVо UVп UVя UVр UVс UVт UVу UVж UVв UVь UVы UVз UVш UVэ UVщ UVч UVъ UVЮ UVА UVБ UVЦ UVД UVЕ Ф Г ╨ ╩ Х И и Й К Л М Н О П Я Р С Т У Ж В Ь Ы З Ш Э Щ Ч Ъ ─ │ ┌ ┐ └ ┘ ├ ┤ ┬ ┴ ┼▀▄█▌▐░▒▓⌠■ ∙ √ ≈ ≤ ≥ ⌡°²·÷═║╒╧ёєє╔ії╗╗╘╙╚╛╛ґў╞╟╨╠╡╡ЁЄЄ╣ІІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡╚°╙²·÷═║▐░▌╞╞▐░▌▐░▌▐░▌╞▐░▌▐░▌╞╞╞╞ ╞!▐!░!▌"▐"░"▌#▐#░#▌$▐$░$▌%▐%░%▌&╞'▐'░'▌(▐(░(▌)▐)░)▌*▐*░*▌+╞,╞-▐-░-▌.╞/▐/░/▌0╞1▐1░1▌2▐2░2▌3▐3░3▌4▐4░4▌5▐5░5▌6▐6░6▌7▐7░7▌8▐8░8▌9▐9░9▌:▐:░:▌;▐;░;▌<▐<░<▌=▐=░=▌>▐>░>▌?▐?░?▌@▐@░@▌A▐A░A▌B▐B░B▌D▐D░D▌E▐E░E▌F▐F░F▌G╞G╨ G╩ Gк Gш H▐H░H▌I▐I░I▌J▐J░J▌K▐K░K▌L▐L░L▌M▐M░M▌N▐N░N▌O▐O░O▌P▐P░P▌R╞╒-funcons-tools-0.2.0.15-DI5IbqDHCPO2jpJTHKbCfGFuncons.EDSLFuncons.GLLParserFuncons.RunOptionsFuncons.ValueOperationsFuncons.MetaProgrammingFuncons.CoreFuncons.Core.Manual Funcons.Tools Funcons.TypesFuncons.ParserFuncons.PrinterFuncons.ExceptionsFuncons.SimulationFuncons.MSOSFuncons.SubstitutionFuncons.PatternsFuncons.TypeSubstitutionFuncons.Entities)Funcons.Core.Values.ValueTypes.ValueTypes Funcons.Core.Values.TypesBuiltin,Funcons.Core.Values.Primitive.StringsBuiltin'Funcons.Core.Values.Primitive.Null.Null/Funcons.Core.Values.Primitive.Integers.Integers+Funcons.Core.Values.Primitive.Floats.Floats/Funcons.Core.Values.Primitive.CharactersBuiltin3Funcons.Core.Values.Primitive.Characters.Characters/Funcons.Core.Values.Primitive.Booleans.Booleans)Funcons.Core.Values.Primitive.BoolBuiltin-Funcons.Core.Values.Primitive.IntegersBuiltin+Funcons.Core.Values.Primitive.FloatsBuiltin)Funcons.Core.Values.Primitive.BitsBuiltin#Funcons.Core.Values.Primitive.Atoms-Funcons.Core.Values.Composite.Vectors.Vectors/Funcons.Core.Values.Composite.Variants.Variants+Funcons.Core.Values.Composite.Tuples.Tuples)Funcons.Core.Values.Composite.Trees.Trees-Funcons.Core.Values.Composite.Strings.Strings)Funcons.Core.Values.Composite.SetsBuiltin1Funcons.Core.Values.Composite.Sequences.Sequences3Funcons.Core.Values.Composite.References.References-Funcons.Core.Values.Composite.Records.Records-Funcons.Core.Values.Composite.Objects.Objects.Funcons.Core.Values.Composite.MultisetsBuiltin)Funcons.Core.Values.Composite.MapsBuiltin)Funcons.Core.Values.Composite.Lists.Lists+Funcons.Core.Values.Composite.GraphsBuiltin+Funcons.Core.Values.Composite.Graphs.Graphs.Funcons.Core.Values.Composite.DatatypesBuiltin1Funcons.Core.Values.Composite.Datatypes.Datatypes-Funcons.Core.Values.Composite.Classes.Classes'Funcons.Core.Values.Composite.Bits.Bits'Funcons.Core.Values.Composite.ASTs.ASTs-Funcons.Core.Values.Abstraction.Thunks.Thunks1Funcons.Core.Values.Abstraction.Patterns.Patterns/Funcons.Core.Values.Abstraction.Generic.Generic3Funcons.Core.Values.Abstraction.Functions.Functions=Funcons.Core.Computations.Threads.Synchronising.SynchronisingкFuncons.Core.Computations.Threads.Synchronising.Notifications.Notifications;Funcons.Core.Computations.Threads.Synchronising.Locks.Locks?Funcons.Core.Computations.Threads.Multithreading.Multithreading0Funcons.Core.Computations.Normal.Storing.Storing,Funcons.Core.Computations.Normal.Memos.Memos0Funcons.Core.Computations.Normal.Linking.Linking8Funcons.Core.Computations.Normal.Interacting.Interacting2Funcons.Core.Computations.Normal.Indexing.Indexing.Funcons.Core.Computations.Normal.Giving.Giving2Funcons.Core.Computations.Normal.GeneratingBuiltin6Funcons.Core.Computations.Normal.Generating.Generating0Funcons.Core.Computations.Normal.Flowing.Flowing0Funcons.Core.Computations.Normal.Binding.Binding)Funcons.Core.Computations.AbnormalBuiltin4Funcons.Core.Computations.Abnormal.Throwing.Throwing+Funcons.Core.Computations.Abnormal.Sticking6Funcons.Core.Computations.Abnormal.Returning.Returning8Funcons.Core.Computations.Abnormal.Postponing.Postponing2Funcons.Core.Computations.Abnormal.Failing.Failing:Funcons.Core.Computations.Abnormal.Controlling.Controlling8Funcons.Core.Computations.Abnormal.Continuing.Continuing4Funcons.Core.Computations.Abnormal.Breaking.Breaking6Funcons.Core.Computations.Abnormal.Abrupting.AbruptingFuncons.Core.Library&Funcons.Core.Computations.TypesBuiltinFunconsCore-funcons-values-0.1.0.9-6xqoHDnQqEoK8SSIbDjgINFuncons.Operations.Valuesnull__unString isString_upcastCharacterupcastNaturalsupcastIntegersupcastRationalsdowncastValueTypeQuestionMarkOpPlusOpStarOp SeqSortOpDataTypeAlttDataTypeInclusionnDataTypeMemberConstructorDataTypeMembersDataTypeMemberssTPattern TPWildCardTPVarTPSeqVarTPLit TPComputesTPComputesFromTPADT TypeParamTypeRelationTypesComputationTypesValuesFTermTVarTNameTAppTSeqTSetTMapTBindingTFunconTSortSeq TSortPower TSortUnion TSortInterTSortComplement TSortComputesTSortComputesFromTAnyFNameFAppFSetFMapFBindingFValueFSortSeq FSortPower FSortUnion FSortInterFSortComplement FSortComputesFSortComputesFromapplyFunconset_int_nat_bool_bool__atom_string_string__char_char__list__set__vector__tuple__float_ieee_float_32_ieee_float_64_empty_set__type_vec_fvaluesdowncastType downcastValueisValisStringisCharisNatisIntisListisMapisTupisTypeisVec integers_values_vectors_ typeLookupemptyTypeRelation typeEnvUnionstypeEnvUniontypeEnvFromListFSuffixSuffixComputesFrom SuffixSeqSuffixSortUnionSuffixSortInterSuffixPowerParser fct_parsefct_parse_eitherfvalue_parsefvalue_parse_either fvalue_parse_fvalue_parse_either_parseparser_a allParsesparsesWithErrorsfct_lexerSettingslexerlexerEitherfct_keywordsfct_keycharslNamepFuncons pFunconsspFunconsSeqpKeyPairpOppValues SourceOfNDNDRuleSelectionNDPatternMatchingNDInterleavingNDValueOperations RunOptionsmfuncon_termgeneral_optsbuiltin_funconsexpected_outcomesgiven_inputsInputValuesTestOptionsBuiltinFunconsOptionsGeneralOptionsdefaultSourcesdefaultRunOptionsoptionsOverridefuncon_termbool_opt_defaultbool_opt do_refocusturn_off_refocusturn_on_refocusmax_restartsrandom_seeddo_abrupt_terminatepp_full_environmentsshow_resultshow_countsget_nd_sourcesshow_mutablehide_output hide_inputhide_controlinteractive_modepp_string_outputs string_inputs show_testsshow_output_onlyauto_config csv_outputcsv_output_with_keysinputValuesbooleanOptionsbooleanOptions_ stringOptionsstringOptions_ allOptionsallOptions_run_optionsparseAndApplyConfig config_parsercfg_lexerSettingscfg_keycharscfg_keywordspRunOptionspSpecpGeneralchoosespBoolpStringValuepFunconName pTestOutcomespBuiltinFunconspInputValues$fShowSourceOfND$fEnumSourceOfND$fOrdSourceOfND$fEqSourceOfND showValues showValuesSeqshowOpshowFunconsshowFunconsSeq showTypes showTermsIESortErrErr PartialOpInternalNoRuleNoMoreBranchesSideCondFailInsufficientInputInsufficientInputConsumedPatternMismatchStepOnValue IExceptionInputOutputControl InheritedMutableMSOSRewrite Rewritten StrictnessStrict NonStrict NullaryFunconValueOpPartiallyStrictFunconNonStrictFunconStrictFunconEvalFunction FunconLibrary fromValOpfromSeqValOpfromNullaryValOplibEmptylibUnionlibOverride libUnionslibOverrideslibFromListrewriteRules stepRules evalRulesnorulesortErr partialOp rewritten rewriteTorewriteSeqTostepTo stepSeqTopremiseEvalpremiseStepcompstepEnvemptyEnv rewriteTermTo stepTermTolifted_envStoreenvStorelifted_envRewrite envRewrite SideCondition SCEqualitySCInequality SCIsInSortSCNotInSortSCPatternMatchVPatternPADT VPWildCard VPMetaVarVPAnnotatedVPSeqVarVPLit VPEmptySetVPTypeFPatternPValuePMetaVarPSeqVar PAnnotated PWildCard f2vPatternlifted_vsMatchvsMatchpremiselifted_fsMatchfsMatchlifted_sideCondition sideConditionisInrewriteTypepat2term vpat2term typat2term HasTypeVarsubsTypeVarsubsTypeVarWildcardTyAssocElemOfSubTyOfTypeEnvlimitedSubsTypeVarlimitedSubsTypeVarWildcard EntityDefault DefMutableDefInherited DefOutput DefControlDefInputEntityDefaultsgetMut getMutPattputMut putMutTermwithExtraInputwithExactInput matchInputwithExtraInputTermswithExactInputTermsreceiveSignalsreceiveSignalPattraiseSignal raiseTermwithControlTermgetControlPattgetInh getInhPattwithInhwithInhTermwriteOutwriteOutTermreadOutreadOutPatt env_fromlist_libraryapp0_app1_app2_app3_ty_starty_optty_plusty_negty_interty_unionty_powerctRelulReldlRelevalRelcompile env_entitystore_entityatom_gen_entitytranslationStepcmp_MSOSReader cmp_MSOSStatemeta_up_ meta_down_ meta_let_eval_code_step_meta_eval step_codeast_term ast_valuetype_of_ step_ty_ofis_in_type_is_stepIs_in_type is_value_is_val_stepIs_value when_true_when_ stepWhen_true cast_to_type_cast_stepCast_to_type is_equal_is_eq_stepIs_equaldatatype_values_ground_values_ground_vals_types_value_types_empty_type_ to_string_null_value_null_stepNull_value null_type_ stepNull_typebounded_integers_ bounded_ints_stepBounded_integerspositive_integers_ pos_ints_stepPositive_integersnegative_integers_ neg_ints_stepNegative_integersnatural_numbers_nats_stepNatural_numbersinteger_negate_int_neg_stepInteger_negateinteger_sequence_stepInteger_sequence binary32_stepBinary32 binary64_stepBinary64 binary128_ stepBinary128 decimal64_ stepDecimal64decimal128_stepDecimal128float_formats_stepFloat_formatsascii_characters_ascii_chars_unicode_characters_iso_latin_1_characters_latin_1_chars_$basic_multilingual_plane_characters_ bmp_chars_unicode_points_ basic_multilingual_plane_points_ascii_character_unicode_character_ unicode_char_characters_chars_unicode_point_unicode_stepUnicode_pointiso_latin_1_points_stepIso_latin_1_points ascii_points_stepAscii_pointsascii_char_stepAscii_character backspace_ stepBackspacehorizontal_tab_stepHorizontal_tab line_feed_ stepLine_feed form_feed_ stepForm_feedcarriage_return_stepCarriage_return double_quote_stepDouble_quote single_quote_stepSingle_quote backslash_ stepBackslashtrue_stepTruefalse_ stepFalsenot_stepNotimplies_stepImpliesand_stepAndor_stepOr exclusive_or_xor_stepExclusive_or booleans_stepBooleansints_integers_from_from_integers_up_to_up_to_natural_predecessor_ nat_pred_natural_successor_ nat_succ_int_add_integer_add_integer_multiply_integer_divide_integer_subtract_integer_power_integer_power_op integer_list_integer_modulo_int_mod_integer_mod_integer_absolute_value_decimal_natural_decimal_octal_natural_octal_binary_natural_binary_hexadecimal_natural_hexadecimal_is_less_integer_is_less_is_less_or_equal_integer_is_less_or_equal_is_greater_integer_is_greater_is_greater_or_equal_integer_is_greater_or_equal_ieee_float_truncatestepIEEE_Float_TruncatestepIEEE_Float_AddstepIEEE_Float_MultiplystepIEEE_Float_SubtractstepIEEE_Float_NegatestepIEEE_Float_DividestepIEEE_Float_Powersigned_bits_maximumstepSigned_Bits_Maximumsigned_bits_minimumstepSigned_Bits_Minimumieee_float_acosstepIEEE_Float_Acosieee_float_asinstepIEEE_Float_Asinieee_float_atanstepIEEE_Float_Atanieee_float_atan2stepIEEE_Float_Atan2ieee_float_cosstepIEEE_Float_Cosieee_float_coshstepIEEE_Float_Coshieee_float_expstepIEEE_Float_Expieee_float_logstepIEEE_Float_Logieee_float_log10stepIEEE_Float_Log10ieee_float_sinstepIEEE_Float_Sinieee_float_sinhstepIEEE_Float_Sinhieee_float_sqrtstepIEEE_Float_Sqrtieee_float_tanstepIEEE_Float_Tanieee_float_tanhstepIEEE_Float_Tanhieee_float_ceilingstepIEEE_Float_Ceilingieee_float_floorstepIEEE_Float_Floorieee_float_absolute_valuestepIEEE_Float_Absolute_ValuestepIEEE_Float_RemainderstepIEEE_Float_Is_LessstepIEEE_Float_Is_GreaterstepIEEE_Float_Is_Less_Or_Equal"stepIEEE_Float_Is_Greater_Or_Equal ieee_float_opieee_float_addieee_float_add_opieee_float_multiply_ieee_float_multiplyieee_float_multiply_opieee_float_divideieee_float_divide_opieee_float_remainderieee_float_remainder_opieee_float_negateieee_float_negate_opieee_float_subtractieee_float_subtract_opieee_float_float_powerieee_float_power_opieee_float_is_lessieee_float_is_less_opieee_float_is_greaterieee_float_is_greater_opieee_float_is_less_or_equalieee_float_is_less_or_equal_opieee_float_is_greater_or_equal!ieee_float_is_greater_or_equal_opbit_vector_not_bit_vector_and_bit_vector_or_bit_vector_xor_bit_vector_shift_left_bit_vector_logical_shift_right_$bit_vector_arithmetical_shift_right_integer_to_bit_vector_bit_vector_to_integer_bit_vector_to_natural_atoms_vector_ stepVectorvector_elements_stepVector_elementsstepVectorsvariant_stepVariantvariant_id_stepVariant_idvariant_value_stepVariant_value variants_stepVariantstuple_ stepTupletuple_elements_stepTuple_elements tuple_zip_ stepTuple_ziptuples_ stepTuplestree_stepTreetree_root_value_stepTree_root_valuetree_branch_sequence_stepTree_branch_sequencesingle_branching_sequence_stepSingle_branching_sequenceforest_root_value_sequence_stepForest_root_value_sequenceforest_branch_sequence_stepForest_branch_sequenceforest_value_sequence_stepForest_value_sequencetrees_ stepTreesstrings_stepStrings stepStringstring_append_stepString_appendsets_ set_elements_ set_size_set_intersect_set_difference_ some_element_ is_subset_ is_in_set_ set_unite_set_insert_element_not_in_ set_empty_length_ stepLengthis_in_ stepIs_inindex_ stepIndexfirst_ stepFirstsecond_ stepSecondthird_ stepThirdfirst_n_stepFirst_n drop_first_n_stepDrop_first_nreverse_stepReversen_of_stepN_ofintersperse_stepIntersperse reference_ stepReference pointer_null_stepPointer_nulldereference_stepDereferencereferences_stepReferences pointers_stepPointersrecord_ stepRecordrecord_map_stepRecord_maprecord_select_stepRecord_selectrecords_stepRecordsobject_ stepObjectobject_identity_stepObject_identityobject_class_name_stepObject_class_nameobject_feature_map_stepObject_feature_mapobject_subobject_sequence_stepObject_subobject_sequenceobject_tree_stepObject_tree&object_single_inheritance_feature_map_)stepObject_single_inheritance_feature_mapobjects_stepObjects multisets_ multiset_multiset_elements_multiset_occurrences_multiset_insert_multiset_delete_is_submultiset_map_maps_ map_empty_ is_map_empty_ is_in_domain_map_insert_map_delete_ map_unite_lookup_map_lookup_ map_override_domain_dom_map_domain_ map_elements_list_stepListlist_elements_stepList_elements list_nil_nil_stepList_nil list_cons_cons_ stepList_cons list_head_head_ stepList_head list_tail_tail_ stepList_taillist_length_stepList_lengthlist_append_stepList_appendlists_ stepLists is_cyclic_topological_sort_directed_graphs_stepDirected_graphsdatatype_value_adt_val_evalADT lazy_adt_val_evalLazyADTadt_construct_adtConstructadt_type_construct_adtTypeConstructadt_constructor_adtConstructoradt_fields_ adtFieldsdatatype_value_id_stepDatatype_value_iddatatype_value_elements_stepDatatype_value_elementsclass_ stepClassclass_instantiator_stepClass_instantiatorclass_feature_map_stepClass_feature_mapclass_superclass_name_sequence_"stepClass_superclass_name_sequenceclass_name_tree_stepClass_name_treeis_subclass_name_stepIs_subclass_name*class_name_single_inheritance_feature_map_-stepClass_name_single_inheritance_feature_mapclasses_stepClassesbits_stepBitsbit_vector_stepBit_vectorbytes_octets_ stepBytesunsigned_bit_vector_maximum_stepUnsigned_bit_vector_maximumsigned_bit_vector_maximum_stepSigned_bit_vector_maximumsigned_bit_vector_minimum_stepSigned_bit_vector_minimumis_in_signed_bit_vector_stepIs_in_signed_bit_vectoris_in_unsigned_bit_vector_stepIs_in_unsigned_bit_vectorbit_vectors_stepBit_vectorstags_stepTags ast_value_ stepAst_value ast_term_stepAst_termasts_stepAststhunk_ stepThunkforce_ stepForcethunks_ stepThunkspattern_stepPatternpattern_any_stepPattern_any pattern_bind_stepPattern_bind pattern_type_stepPattern_type pattern_else_stepPattern_elsepattern_unite_stepPattern_unitematch_ stepMatchmatch_loosely_stepMatch_looselycase_match_stepCase_matchcase_match_loosely_stepCase_match_looselycase_variant_value_stepCase_variant_value patterns_stepPatternsabstraction_stepAbstractionclosure_stepClosureenact_ stepEnact abstractions_stepAbstractions function_stepFunctionapply_ stepApplysupply_ stepSupplycompose_stepComposeuncurry_stepUncurrycurry_ stepCurrypartial_apply_stepPartial_apply functions_ stepFunctionssync_stepSyncsync_create_stepSync_create sync_feature_stepSync_featureis_sync_feature_stepIs_sync_featuresync_waiting_list_stepSync_waiting_list sync_held_ stepSync_heldsync_holder_stepSync_holdersync_count_stepSync_countsync_feature_maps_stepSync_feature_mapssync_feature_create_stepSync_feature_createsync_waiting_list_add_stepSync_waiting_list_addsync_waiting_list_head_remove_!stepSync_waiting_list_head_removesyncs_ stepSyncssync_features_stepSync_featuresbarrier_create_stepBarrier_create barrier_sync_stepBarrier_syncbarrier_sync_else_wait_stepBarrier_sync_else_waitcondition_create_stepCondition_createcondition_wait_stepCondition_waitcondition_wait_with_lock_stepCondition_wait_with_lockcondition_notify_all_stepCondition_notify_allcondition_notify_first_stepCondition_notify_firstrendezvous_create_stepRendezvous_createrendezvous_sync_stepRendezvous_syncrendezvous_sync_else_wait_stepRendezvous_sync_else_waitrendezvous_waits_stepRendezvous_waitsis_rendezvous_match_stepIs_rendezvous_matchrendezvous_first_match_thread_!stepRendezvous_first_match_threadrendezvous_first_match_drop_stepRendezvous_first_match_dropis_exclusive_lock_holder_stepIs_exclusive_lock_holderspin_lock_create_stepSpin_lock_createspin_lock_sync_stepSpin_lock_syncspin_lock_release_stepSpin_lock_releaseexclusive_lock_create_stepExclusive_lock_createexclusive_lock_sync_stepExclusive_lock_syncexclusive_lock_sync_else_wait_!stepExclusive_lock_sync_else_waitexclusive_lock_release_stepExclusive_lock_releasereentrant_lock_create_stepReentrant_lock_createreentrant_lock_sync_stepReentrant_lock_syncreentrant_lock_sync_else_wait_!stepReentrant_lock_sync_else_waitreentrant_lock_release_stepReentrant_lock_releasereentrant_lock_exit_stepReentrant_lock_exitsemaphore_create_stepSemaphore_createsemaphore_sync_stepSemaphore_syncsemaphore_sync_else_wait_stepSemaphore_sync_else_waitsemaphore_release_stepSemaphore_releaserw_lock_create_stepRw_lock_createrw_lock_sync_exclusive_stepRw_lock_sync_exclusiverw_lock_sync_shared_stepRw_lock_sync_shared!rw_lock_sync_exclusive_else_wait_$stepRw_lock_sync_exclusive_else_waitrw_lock_sync_shared_else_wait_!stepRw_lock_sync_shared_else_waitrw_lock_release_exclusive_stepRw_lock_release_exclusiverw_lock_release_shared_stepRw_lock_release_shared rw_lock_sync_stepRw_lock_syncrw_lock_sync_all_shared_stepRw_lock_sync_all_shared thread_id_ stepThread_idthread_ stepThreadthread_joinable_stepThread_joinablethread_detached_stepThread_detachedis_some_thread_active_stepIs_some_thread_activeis_some_thread_suspended_stepIs_some_thread_suspendedinitialise_multithreading_stepInitialise_multithreadinginitialise_thread_map_stepInitialise_thread_mapinitialise_active_thread_set_ stepInitialise_active_thread_setinitialise_thread_stepping_stepInitialise_thread_stepping!initialise_terminated_thread_map_$stepInitialise_terminated_thread_mapinitialise_thread_schedule_stepInitialise_thread_schedulemultithread_stepMultithreadthread_activate_stepThread_activatethread_detach_stepThread_detachcurrent_thread_stepCurrent_threadthread_step_stepThread_stepthread_atomic_stepThread_atomic thread_yield_stepThread_yieldthread_spin_stepThread_spinthread_suspend_stepThread_suspendthread_resume_stepThread_resumethread_terminate_stepThread_terminateis_thread_terminated_stepIs_thread_terminated thread_value_stepThread_valuethread_join_stepThread_jointhread_exterminate_stepThread_exterminateupdate_thread_stepping_stepUpdate_thread_steppingupdate_thread_schedule_stepUpdate_thread_schedulecurrent_thread_schedule_stepCurrent_thread_schedulethread_preemptible_stepThread_preemptiblethread_cooperative_stepThread_cooperativeis_thread_preemptible_stepIs_thread_preemptiblethread_ids_stepThread_idsthreads_stepThreadsthread_preemtibilities_stepThread_preemtibilities locations_locs_ stepLocationsstores_ stepStoresstore_clear_stepStore_clearinitialise_storing_ init_storing_stepInitialise_storing variable_var_stepVariableallocate_variable_alloc_stepAllocate_variablerecycle_variables_recycle_stepRecycle_variablesinitialise_variable_init_stepInitialise_variableallocate_initialised_variable_alloc_init_!stepAllocate_initialised_variableassign_ stepAssign assigned_stepAssignedcurrent_value_stepCurrent_value un_assign_ stepUn_assignstructural_assign_stepStructural_assignstructural_assigned_stepStructural_assigned variables_ stepVariablesinitialise_memos_stepInitialise_memosmemo_value_stepMemo_valueinitialise_memo_value_stepInitialise_memo_valuememo_value_recall_stepMemo_value_recalllink_stepLinkinitialise_linking_stepInitialise_linkingfresh_link_stepFresh_linkfresh_initialised_link_fresh_init_link_stepFresh_initialised_link set_link_stepSet_linkfollow_link_stepFollow_linkfollow_if_link_stepFollow_if_linklinks_ stepLinksprint_ stepPrintread_stepReadinitialise_index_stepInitialise_indexallocate_index_stepAllocate_index lookup_index_stepLookup_indexinitialise_giving_stepInitialise_givinggive_stepGivegiven_ stepGiven no_given_stepNo_givenleft_to_right_map_stepLeft_to_right_mapinterleave_map_stepInterleave_mapleft_to_right_repeat_stepLeft_to_right_repeatinterleave_repeat_stepInterleave_repeatleft_to_right_filter_stepLeft_to_right_filterinterleave_filter_stepInterleave_filter fold_left_ stepFold_leftfold_right_stepFold_rightinitialise_generating_stepInitialise_generatingfresh_atom_stepFresh_atomuse_atom_not_in_stepUse_atom_not_inleft_to_right_l_to_r_stepLeft_to_rightright_to_left_r_to_l_stepRight_to_leftsequential_seq_stepSequentialeffect_ stepEffectchoice_ stepChoice if_true_else_if_else_stepIf_true_elsewhile_true_while_stepWhile_truedo_while_true_ do_while_stepDo_while_trueinterleave_stepInterleavesignal_ stepSignalyield_ stepYieldyield_on_value_stepYield_on_valueyield_on_abrupt_stepYield_on_abrupt yielding_stepYielding environments_envs_stepEnvironmentsidentifier_tagged_ id_tagged_stepIdentifier_taggedfresh_identifier_stepFresh_identifierinitialise_binding_stepInitialise_bindingbind_value_bind_stepBind_valueunbind_ stepUnbindbound_directly_stepBound_directlybound_value_bound_stepBound_valueclosed_ stepClosedscope_ stepScopeaccumulate_stepAccumulatecollateral_stepCollateralbind_recursively_stepBind_recursively recursive_ stepRecursive re_close_stepRe_closebind_to_forward_links_stepBind_to_forward_linksset_forward_links_stepSet_forward_linksidentifiers_stepIdentifiersthrown_ stepThrownfinalise_throwing_stepFinalise_throwingthrow_ stepThrowhandle_thrown_stepHandle_thrownhandle_recursively_stepHandle_recursivelycatch_else_throw_stepCatch_else_throw throwing_stepThrowingstuck_ stepStuck returned_stepReturnedfinalise_returning_stepFinalise_returningreturn_ stepReturnhandle_return_stepHandle_return returning_ stepReturning postpone_stepPostponepostpone_after_effect_stepPostpone_after_effect after_effect_stepAfter_effectfailed_ stepFailedfinalise_failing_stepFinalise_failingfail_stepFailelse_stepElseelse_choice_stepElse_choicecheck_true_check_stepCheck_truechecked_stepCheckedfailing_stepFailing continuation_stepContinuationhole_stepHoleresume_continuation_stepResume_continuationcontrol_stepControldelimit_current_continuation_delimit_cc_ stepDelimit_current_continuationcontinuations_stepContinuations continued_ stepContinuedfinalise_continuing_stepFinalise_continuing continue_stepContinuehandle_continue_stepHandle_continuecontinuing_stepContinuingbroken_ stepBrokenfinalise_breaking_stepFinalise_breakingbreak_ stepBreak handle_break_stepHandle_break breaking_stepBreakingfinalise_abrupting_stepFinalise_abruptingabrupt_ stepAbrupthandle_abrupt_stepHandle_abruptfinally_stepFinallyfunconsentitiestypescomputation_types_stepComputation_TypesnoEntityDefaultsmkMainmkMainWithLibrarymkMainWithLibraryEntitiesmkMainWithLibraryTypesmkMainWithLibraryEntitiesTypesmkFullyFreshInterpretermkFreshInterpreterrunWithExtensionsrunWithExtensionsNoCorerunWithExtensionsNoNothingrun evalOperationexecRewritesbaseGHC.BaseString empty_map_ empty_set_Funcons.Operations libAppWithlibAppFuncons.Operations.Eval applyEvaleval EvalResultEvalResultsErrorSuccessFuncons.Operations.ADTs adt_fieldsadt_constructoradtsadts_Funcons.Operations.Atomsatomatoms next_atom next_atom_ atom_seed atom_seed_Funcons.Operations.Bits bit_nat_op binary_bit_op args_to_boolsapply_to_vecinteger_to_bit_vectorbit_vector_to_naturalbit_vector_to_integer#bit_vector_arithmetical_shift_rightbit_vector_logical_shift_rightbit_vector_shift_leftbit_vector_xor bit_vector_orbit_vector_andbit_vector_notFuncons.Operations.Graphsis_emptycyclicscheduledeleteentriestoGraphtopological_sort is_cyclicGraphFuncons.Operations.Integersis_greater_or_equal is_greateris_less_or_equalis_lesshexadecimal_natural octal_naturalbinary_naturaldecimal_naturalinteger_absolute_valueinteger_listnatural_successornatural_predecessor integer_powerinteger_divideinteger_subtract is_integeris_integer_integers_up_to integers_fromintegersstepModFuncons.Operations.ListstailOpheadOplist_concatlist_concat_list_appendconsis_nilis_nil_nillist_singletonlist_singleton_listsFuncons.Operations.Mapsmap_elementsallDomainPairstoMap map_unitedomainis_in_domain map_delete map_lookup map_insertis_map_empty map_singletonmap_singleton_ map_emptyFuncons.Operations.Multisetsis_submultisetmultiset_deletemultiset_insertmultiset_occurrencesmultiset_elementsFuncons.Operations.Setselement_not_in set_insert is_subsetsome_elementset_differenceset_sizeset_elements is_in_set set_emptyFuncons.Operations.TuplestupleTailOptupleHeadOptuple_tail_tuple_head_tuple_indextuple_index_ tuple_prependempty_tupletuple_prepend_empty_tuple_tuple_is_emptytuple_is_empty_Funcons.Operations.Strings mk_string stepTo_String to_string is_string is_string_Funcons.Operations.Types isInTupleTypeisInTypetype_membertype_member_tyOf value_typevalue_type_is_valuevaluesnulltype empty_typevalue_types ground_valuesdatatype_valuesFuncons.Operations.Booleansis_equalfrombooltoboolFuncons.Operations.Characters unicode_pointnumBMPCodesnumUnicodeCodesunicode_characterascii_characterbmp_charactersbmp_characters_iso_latin_charactersiso_latin_characters_ascii_characters bmp_pointsbmp_points_unicode_pointsunicode_characters charactersFuncons.Operations.FloatsdoubleFromIEEEFormatisIEEEFormatieee_float_add_ieee_float_truncate_"Funcons.Operations.NonGroundValuesnon_grounded_valuesnon_grounded_values_non_grounded non_grounded_Funcons.Operations.Optionalsnonenone_somesome_some__ optionals optionals_none__toOptFuncons.Operations.LibrarieslibUniteLibraryFuncons.Operations.Expr applyExprarityErr ternaryOpbinaryOpunaryOp nullaryOpopNamevNaryOp vTernaryOp vBinaryOpvUnaryOp vNullaryOpchoiceOPResultNondeterministicNormalProjErrDomErrArityErr NullaryOpUnaryOpBinaryOp TernaryOpNaryOp NullaryVOpUnaryVOp BinaryVOp TernaryVOpNaryVOpOpExpr RewritesTo InvalidOpValExprTermExprNullaryExpr UnaryExpr BinaryExprNaryExprTernaryExpr showArgs_ppOpppTypesppComputationTypesppValuesnull_value__isGround=/====downcast_unicode_charactersmk_unicode_charactersmk_naturalsmk_integerscastTypestructTMcomparestructVMcomparestructCTMcomparestructVcomparetraverseCTM traverseTM traverseT traverseVM traverseVvmapvectorsmaps multisetssetsmulti_multivectorsetlisttupleunicode_cons ascii_consMVarValSeqVAnyVectorMultiset IEEE_Float_64 IEEE_Float_32ComputationTypeAtomADTValSetMapNatRationalIntFloat ValueMaps ValueSetsValueVectorsComputesFromTypeTypeComputesTypeUnionUnicodeCharacters RationalsNullTypeNaturalsIntersectionIntegers IEEEFloats EmptyType Complement CharactersIntegersUpToIntegersFromAtoms BMPCharactersISOLatinCharactersAsciiCharacters AnnotatedTypeADTsADT HasValuesprojectinjectHasComputationTypes projectCTinjectCTHasTypesprojectTinjectTIEEEFormatsBinary32Binary64TTParamVectorsNameMetaVarbinary32binary64adtvaltuple_val__ tuple_val_nullaryTypes unaryTypesbinaryTypesboundedIntegerTypes floatTypessort_ comp_type_vectypeVallistvalsetvalsetval_mapvalmapval_fromBindingdowncastSortrecursiveFunconValueallEqual allUnEqualisNullhasStepisDefinedValisEnvisSetisSortisSort_isCharacter_ nulltype_ showSortsshowLppValuesSeqppFunconsSeq ppFunconsppTermsshowIException mkRuleErr mkRulesErr failsRuleSimIOInteractivefexecfprintfreadrunSimIOghc-prim GHC.TypesIOStepResValTermCompTermrandomRemovepremiseStepApprunMSOS MSOSStateestateinp_esmut_entities MSOSWriterewriter ctrl_entitiesout_entities MSOSReaderereaderinh_entitiesdctrl_entities def_fread runRewriteRewriteWriterrcountersRewriteState random_gen RewriteReader funconlibrun_optsty_env global_fct local_fcttraceLibemptyRewriteStateliftRewrite eval_catchrewrite_rethrow rewrite_throwevalctxt2exceptionctxt2exceptionemptyMSOSState msos_throwgiveINHgiveCTRLmaybe_randomRemovemaybe_randomSelectemptyINH emptyDCTRL singleCTRLreadOutscount_delegation ppCounterscounterKeysdisplayCounters exceptioninternalsidecond buildStep optRefocus rewrittensevalFunconsrewritesToTyperewritesToValuerewritesToValuesrewriteToValErrrewriteFunconsWcountrewriteFunconsrewriteStrictSequenceevalStrictSequenceevalSequence stepTrans stepAndOutput toStepResLevelledTypeTerm TypesTerm ValueTerm ValuesTerm FunconTermFunconsTerm envLookup envInsertvsLevelvLevelfsLevelfLevelsubstitute_signal substitutesubsAndRewritesInEnvsubsAndRewritesToValuesubsAndRewritesToValueInEnvsubsAndRewritesToValuessubsAndRewritesToValuesInEnvstrict_vsMatchisInMaybeTupleType SeqVarInfoMatcher singleMatcher seqMatchermatchingordered_subsequences v2tPattern v2fPatternsubstitute_patt_signalstrict_fsMatchfsMatchStrictnessfMatchlifted_fMaybeMatchfMaybeMatchlifted_vMaybeMatchvMaybeMatch lifted_vMatchvMatchtsMatchstrict_tsMatchtMatchadtMatchfpSeqVarInfovpSeqVarInfotpSeqVarInfomatchTypeParamsalwaysAcceptrewritesToAnnotatedTypeisInMaybeTermTypePreserveisInMaybeTypeTypePreserveisInMaybeTermType isInTuple paramFromTypeisInUnicodeType typeEnvLookupconsumeInputwithControl getControlsetEntityDefaults