14.2.14  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;
    mean : List(Int ) -> Int;
    median : List(Int ) -> Int;
    list_min : List(Int ) -> Int;
    list_max : List(Int ) -> Int;
    sort : List(Int ) -> List(Int );
    sort_and_drop_duplicates : List(Int ) -> List(Int );};