14.2.16  Int

The standard library Int api defines access to fixed-precision integer functions and facilities.

The Int api is implemented by the int, tagged_int, one_word_int and two_word_int packages.

The Int api source code is in src/lib/std/src/int.api.

See also: Multiword_Int.

The above information is manually maintained and may contain errors.

api {    eqtype Int ;
    precision : Null_Or(tagged_int::Int );
    min_int : Null_Or(Int );
    max_int : Null_Or(Int );
    to_multiword_int : Int -> multiword_int::Int;
    from_multiword_int : multiword_int::Int -> Int;
    to_int : Int -> tagged_int::Int;
    from_int : tagged_int::Int -> Int;
    _! : Int -> Int;
    -_ : Int -> Int;
    neg : Int -> Int;
    + : (Int , Int) -> Int;
    - : (Int , Int) -> Int;
    * : (Int , Int) -> Int;
    / : (Int , Int) -> Int;
    % : (Int , Int) -> Int;
    quot : (Int , Int) -> Int;
    rem : (Int , Int) -> Int;
    min : (Int , Int) -> Int;
    max : (Int , Int) -> Int;
    abs : Int -> Int;
    sign : Int -> tagged_int::Int;
    same_sign : (Int , Int) -> Bool;
    > : (Int , Int) -> Bool;
    >= : (Int , Int) -> Bool;
    < : (Int , Int) -> Bool;
    <= : (Int , Int) -> Bool;
    compare : (Int , Int) -> Order;
    to_string : Int -> String;
    from_string : String -> Null_Or(Int );
    scan : number_string::Radix
           -> number_string::Reader((Char, X) ) -> number_string::Reader((Int, X) );
    format : number_string::Radix -> Int -> String;
    is_prime : Int -> Bool;
    factors : Int -> List(Int );
    sum : List(Int ) -> Int;
    product : List(Int ) -> Int;
};