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 (++) : Z.t -> Z.t -> Z.t
Sourceval (+++) : Z.t -> int -> Z.t
Sourceval succ : Z.t -> Z.t
Sourceval (--) : Z.t -> Z.t -> Z.t
Sourceval minus : Z.t -> Z.t
Sourceval (*^) : int -> int -> Z.t
Sourceval (**) : Z.t -> Z.t -> Z.t
Sourceval (**.) : int -> Z.t -> Z.t
Sourceval quomod : Z.t -> Z.t -> Z.t * Z.t
Sourceval bigmod : Z.t -> Z.t -> Z.t
Sourceval sign : Z.t -> int
Sourceval big_compare : Z.t -> Z.t -> int
Sourceval bigzero : Z.t
Sourceval bigone : Z.t
Sourceval is_bigone : Z.t -> bool
Sourceval sob : Z.t -> string
Sourceval bos : string -> Z.t
Sourceval boi : int -> Z.t
Sourceval iob : Z.t -> int