!U|?      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None=?PSX_#] funcons-values Representation of builtin types.#funcons-valuesComputation type S=>T7 reflects a type of term whose given value is of type S and result is of type T.%funcons-values=>T&funcons-valuesS=>T'funcons-values+Postfix operators for specifying sequences..funcons-valuesBThis 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  )Wfuncons-values Returns the rationalX representation of a value if it is a subtype. Otherwise it returns the original value.Xfuncons-values Returns the integerX representation of a value if it is a subtype. Otherwise it returns the original value.Yfuncons-values Returns the naturalX representation of a value if it is a subtype. Otherwise it returns the original value.Zfuncons-values Returns the unicodeL representation of an assci value. Otherwise it returns the original value.y ! " #&%$'*)(+,-.@?:764210/>=9<;358ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvNone/%2wxyz{|~}None&None&  " !#$%&'()*+,-.853;<9=>/012467:?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None) None*(None*{ None_,xfuncons-valuesUType membership check for primitive types and predefined composite types (non-ADTs). None- None-z None- None.None.     None/z !"#$%&'()*+,-./0None0*123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWNone0XYZ[\]None1K ^_`abcdefghNone1None1 ijklmnopNone2X qrstuvwxNone2y{z|}None3  " !#$%&'()*+,-.853;<9=>/012467:?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ijklmnopqrstuvwx|~}{zyxw  " !#$%&'()*+,-.853;<9=>/012467:?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvyz{|} !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgh     ~ !"#$%&'()*+,-./012345#678.9:;<=>?@AB8CDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     \ ^z-funcons-values-0.1.0.5-6QQLnn7GlcDJggmiVzi1jkFuncons.OperationsFuncons.Operations.ValuesFuncons.Operations.ExprFuncons.Operations.LibrariesFuncons.Operations.InternalFuncons.Operations.Optionals"Funcons.Operations.NonGroundValuesFuncons.Operations.BooleansFuncons.Operations.TypesFuncons.Operations.StringsFuncons.Operations.TuplesFuncons.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 IEEEFloatsIntegers IntersectionNaturalsNullType RationalsUnicodeCharactersUnionValuesType ComputesTypeComputesFromType SeqSortOpStarOpPlusOpQuestionMarkOp ValueVectors ValueSets ValueMapsADTValAsciiAtomBitCharComputationTypeFloat IEEE_Float_32 IEEE_Float_64IntMapMultisetNatRationalSetVectorVAnyValSeqMVarNametuplelistvectormultimulti_sets multisetsmapsvectorsvmap traverseV traverseVM traverseT traverseTM traverseCTMstructVcomparestructCTMcomparestructVMcomparestructTMcomparedowncastValueTypeupcastRationalsupcastIntegersupcastNaturals upcastUnicodecastType mk_integers mk_naturalsmk_unicode_charactersmk_ascii_characters====/=isGroundisAsciiisCharisNatisIntisEnvisMapisSet isString_isTypeisVecunStringnull__ null_value__isNull isDefinedValppValuesppComputationTypesppTypesppOp showArgs_NaryExpr TernaryExpr BinaryExpr UnaryExpr NullaryExprValueOpOpExprValExprTermExpr NullaryOpUnaryOpBinaryOp TernaryOpNaryOp InvalidOp RewritesToNaryVOp TernaryVOp BinaryVOpUnaryVOp NullaryVOpResultSortErrDomErrArityErrProjErrNormalOP vNullaryOpvUnaryOp vBinaryOp vTernaryOpvNaryOpopName nullaryOpunaryOpbinaryOp ternaryOparityErr applyExprLibrary libFromListlibUnitetoOptnone__ 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_types empty_type_ empty_type nulltype_nulltypenull_nullvalues_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_stringtuples_tuple_is_empty_tuple_is_empty empty_tuple_tuple_prepend_ empty_tuple tuple_prependtuple_ tuple_index_ tuple_index tuple_head_ tuple_tail_ tupleHeadOp tupleTailOpsets_ 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_subsetset_ set_unite_ set_insert_ set_insertelement_not_in_element_not_inmap_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_unite_ map_unitetoMapallDomainPairs map_elements_ map_elementslists_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_integersintegers_from_ integers_fromintegers_up_to_integers_up_to is_integer_ is_integer 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 applyEvallibrarylibApp libAppWithshowArgs libLookupunInt