WA      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None;=NQV]$D  Representation of builtin types.+Computation type S=>T7 reflects a type of term whose given value is of type S and result is of type T.-=>T.S=>T/+Postfix operators for specifying sequences.9BThis datatype provides a number of builtin value types. The type tf is expected to be a super-type of `Values t`, such that there is a projection and injection between t and `Values t`, (see  () Values forms a functor over the type t6 and provides a generic way of comparing values (see zipWithT*) for example to realise pattern matching ^ Returns the rationalX representation of a value if it is a subtype. Otherwise it returns the original value._ Returns the integerX representation of a value if it is a subtype. Otherwise it returns the original value.` Returns the naturalX representation of a value if it is a subtype. Otherwise it returns the original value.a Returns the unicodeL representation of an assci value. Otherwise it returns the original value. *)'&%! "#$( +.-,/2103456879KJEBA?=<;:IHDGF>@CLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     !"#$%&'()*+,-./0126789:;<=>?@ABCDEFGHIJKNone.'2 None)None)W  ($#" !%&')*+,-./0123456789C@>FGDHI:;<=?ABEJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None,p None, None-: None- None]/TUType membership check for primitive types and predefined composite types (non-ADTs). None/ None0R None0 None10     !"#$%&'None1()*+,-./0123456789:;<=None2&>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcNone3[defghijNone3 klmnopqrstuvNone4wNone4^ xyz{|}~None4 None5 None5~|  ($#" !%&')*+,-./0123456789C@>FGDHI:;<=?ABEJKLMNOPQRSTUVWXYZ[\]^_`abcdefghjklmnopqrstuvwyz{|}    !"#$%&')*+,-./0123456789:;<=?@ABCDEHIJKLMNOPQRSTUVWXYZ[\]^_`abcefghijlmnopqrstuvyz{|}~xyz{|}~ML9:;<=>?@ABCDEFGHIJKNO678543/012+,-.  !"#$%&'()* PQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~()*+,-./0123456789:;<=>@?ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghij wklmnopqrstuv     !"#$%&' !"#$%&'()*+,-./0123456789:#;<=>?@.ABCDEFGHIJKLM>NOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~-funcons-values-0.1.0.2-IQjLhXss2kaDX1FaUppOoLFuncons.OperationsFuncons.Operations.ValuesFuncons.Operations.ExprFuncons.Operations.LibrariesFuncons.Operations.InternalFuncons.Operations.TuplesFuncons.Operations.Optionals"Funcons.Operations.NonGroundValuesFuncons.Operations.BooleansFuncons.Operations.TypesFuncons.Operations.StringsFuncons.Operations.SetsFuncons.Operations.MultisetsFuncons.Operations.MapsFuncons.Operations.ListsFuncons.Operations.IntegersFuncons.Operations.FloatsFuncons.Operations.CharactersFuncons.Operations.BitsFuncons.Operations.AtomsFuncons.Operations.ADTsFuncons.Operations.Eval IEEEFormatsBinary32Binary64HasTypesprojectTinjectTHasComputationTypes projectCTinjectCT HasValuesprojectinjectTypesADTsADT AnnotatedTypeAsciiCharactersAtomsBits IntegersFrom IntegersUpTo Characters ComplementComputationTypes EmptyType GroundValues IEEEFloatsIntegers IntersectionMaps MultisetsNaturalsNothings RationalsSetsStringsUnicodeCharactersUnion DefinedValuesValuesVectorsASTsType ComputesTypeComputesFromType SeqSortOpStarOpPlusOpQuestionMarkOp ValueVectors ValueSets ValueMaps TaggedSyntaxTagNameTagTypeADTValAsciiAtomBitCharComputationTypeFloat IEEE_Float_32 IEEE_Float_64IntMapMultisetNatRationalSetVectorVMetaVAnyMVarNametuplelistvmapvmapTS traverseV traverseVM traverseT traverseTM traverseTSM traverseCTMstructVcomparestructCTMcomparestructVMcomparestructTSMcomparestructTMcomparedowncastValueTypeupcastRationalsupcastIntegersupcastNaturals upcastUnicodecastType mk_integers mk_naturalsmk_unicode_charactersmk_ascii_characters====/=isGroundisAsciiisCharisNatisIntisEnvisMapisSet isString_isTypeisVecunStringnone__ isNoValue isDefinedValset_ppValuesppTaggedSyntaxppComputationTypesppTypesppOpshowArgs showArgs_NaryExpr TernaryExpr BinaryExpr UnaryExpr NullaryExprValueOpOpExprValExprTermExpr NullaryOpUnaryOpBinaryOp TernaryOpNaryOp InvalidOp RewritesToNaryVOp TernaryVOp BinaryVOpUnaryVOp NullaryVOpResultSortErrDomErrArityErrProjErrNormalOP vNullaryOpvUnaryOp vBinaryOp vTernaryOpvNaryOpopName nullaryOpunaryOpbinaryOp ternaryOparityErr applyExprLibrarylibrarytuples_ empty_tuple_tuple_prepend_ empty_tuple tuple_prependtuple_ tuple_index_ tuple_indextoOpt optionals_ optionalssome__some_somenone_none non_grounded_ non_groundednon_grounded_values_non_grounded_valuestoboolfrombool booleans_true_false_ is_equal_is_equaldatatype_values_datatype_valuesground_values_ ground_valuestypes_types value_types_ value_typesdefined_values_defined_valuesnothing_nothingvalues_values is_value_is_value value_type_ value_typetyOf type_member_ type_memberisInType isInTupleType is_string_ is_string to_string_ to_string stepTo_String mk_stringsets_sets set_empty_ set_empty is_in_set_ is_in_set set_elements_ set_elements set_size_set_sizeset_intersect_set_difference_set_difference some_element_ some_element is_subset_ is_subset set_unite_ set_insert_ set_insertelement_not_in_element_not_inmap_mkPairsmaps_maps map_empty_ map_emptymap_singleton_ map_singleton is_map_empty_ is_map_empty map_insert_ map_insert map_lookup_ map_lookup map_delete_ map_delete is_in_domain_ is_in_domaindomain_domain map_override_ map_override map_unite_ map_uniteallDomainPairs map_elements_ map_elements map_points_ map_pointslists_listslist_singleton_list_singletonnil_nilis_nil_is_nilcons_conslist_ list_append_ list_appendisListtoList list_concat_ list_concathead_tail_headOptailOp integer_mod_integer_modulo_stepMod integers_integers is_integer_ is_integerunInt integer_add_integer_multiply_integer_subtract_integer_subtractinteger_divide_integer_divideinteger_power_ integer_powernatural_predecessor_ nat_pred_natural_predecessornatural_successor_ nat_succ_natural_successor integer_list_ integer_listinteger_absolute_value_integer_absolute_valuedecimal_natural_decimal_naturalis_less_is_lessis_less_or_equal_is_less_or_equal is_greater_ is_greateris_greater_or_equal_is_greater_or_equalieee_float_truncate_ieee_float_truncateieee_float_add_ ieee_float_op isIEEEFormatdoubleFromIEEEFormat characters_ charactersascii_characters_ascii_charactersascii_character_ascii_characterunicode_unicodenumUnicodeCodesunicode_character_code_unicode_character_code atom_seed_ atom_seed next_atom_ next_atomatoms_atomsatom_atomadts_adtsadt_construct_adt_type_construct_adt_constructor_adt_constructor adt_fields_ adt_fields EvalResultErrorSuccesseval applyEvallibApp libFromList libLookuplibUnite