Module Exenum_internals.ConvenienceSource
Sourceval myfold : 'a list -> 'b -> ('b -> 'a -> 'b) -> 'b Sourceval myrevmap : 'a list -> ('a -> 'b) -> 'b list Sourceval myrevmap2 : 'a list -> 'b list -> ('a -> 'b -> 'c) -> 'c list Sourceval sep : ('a -> string) -> string -> 'a list -> string Sourceval (++) : Big_int.big_int -> Big_int.big_int -> Big_int.big_int Sourceval (+++) : int -> Big_int.big_int -> Big_int.big_int Sourceval succ : Big_int.big_int -> Big_int.big_int Sourceval (--) : Big_int.big_int -> Big_int.big_int -> Big_int.big_int Sourceval minus : Big_int.big_int -> Big_int.big_int Sourceval (**) : Big_int.big_int -> Big_int.big_int -> Big_int.big_int Sourceval (**.) : int -> Big_int.big_int -> Big_int.big_int Sourceval quomod :
Big_int.big_int ->
Big_int.big_int ->
Big_int.big_int * Big_int.big_int Sourceval bigmod : Big_int.big_int -> Big_int.big_int -> Big_int.big_int Sourceval (*^) : int -> int -> Big_int.big_int Sourceval sign : Big_int.big_int -> int Sourceval (<==) : Big_int.big_int -> Big_int.big_int -> bool Sourceval big_compare : Big_int.big_int -> Big_int.big_int -> int Sourceval bigzero : Big_int.big_int Sourceval bigone : Big_int.big_int Sourceval is_bigone : Big_int.big_int -> bool Sourceval sob : Big_int.big_int -> string Sourceval bos : string -> Big_int.big_int Sourceval boi : int -> Big_int.big_int Sourceval iob : Big_int.big_int -> int