14.2.52  Unt

The standard library Unt api defines access to unsigned integer values and functions.

The Unt api is implemented by the one_word_unt_guts package implemented in src/lib/std/one-word-unt.pkg.

The Unt api source code is in src/lib/std/src/unt.api.

The above information is manually maintained and may contain errors.

api {
    eqtype Unt;
    unt_size : Int;
    to_large_unt : Unt -> one_word_unt::Unt;
    to_large_unt_x : Unt -> one_word_unt::Unt;
    from_large_unt : one_word_unt::Unt -> Unt;
    to_multiword_int : Unt -> multiword_int::Int;
    to_multiword_int_x : Unt -> multiword_int::Int;
    from_multiword_int : multiword_int::Int -> Unt;
    to_int : Unt -> Int;
    to_int_x : Unt -> Int;
    from_int : Int -> Unt;
    bitwise_or : (Unt , Unt) -> Unt;
    bitwise_xor : (Unt , Unt) -> Unt;
    bitwise_and : (Unt , Unt) -> Unt;
    bitwise_not : Unt -> Unt;
    << : (Unt , tagged_unt::Unt) -> Unt;
    >> : (Unt , tagged_unt::Unt) -> Unt;
    >>> : (Unt , tagged_unt::Unt) -> Unt;
    + : (Unt , Unt) -> Unt;
    - : (Unt , Unt) -> Unt;
    * : (Unt , Unt) -> Unt;
    / : (Unt , Unt) -> Unt;
    % : (Unt , Unt) -> Unt;
    compare : (Unt , Unt) -> Order;
    > : (Unt , Unt) -> Bool;
    >= : (Unt , Unt) -> Bool;
    < : (Unt , Unt) -> Bool;
    <= : (Unt , Unt) -> Bool;
    -_ : Unt -> Unt;
    min : (Unt , Unt) -> Unt;
    max : (Unt , Unt) -> Unt;
    sum : List(Unt ) -> Unt;
    product : List(Unt ) -> Unt;
    list_min : List(Unt ) -> Unt;
    list_max : List(Unt ) -> Unt;
    sort : List(Unt ) -> List(Unt );
    sort_and_drop_duplicates : List(Unt ) -> List(Unt );
    scan : number_string::Radix -> number_string::Reader((Char, X)) -> number_string::Reader((Unt, X));
    from_string : String -> Null_Or(Unt );
    format : number_string::Radix -> Unt -> String;
    to_string : Unt -> String;};