14.2.54  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;
    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;
};