module SrkUtil: sig
.. end
Common utility functions
module A: BatDynArray
val search : ?compare:('a -> 'a -> int) -> 'a -> 'a A.t -> int
Search for an index in a sorted array
val merge_array : ?compare:('a -> 'a -> int) -> 'a array -> 'a array -> 'a array
Merge two (sorted) arrays
val exp : ('a -> 'a -> 'a) -> 'a -> 'a -> int -> 'a
val mk_show : (Format.formatter -> 'a -> unit) -> 'a -> string
val default_sep : Format.formatter -> unit -> unit
val pp_print_enum_nobox : ?pp_sep:(Format.formatter -> unit -> unit) ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a BatEnum.t -> unit
val pp_print_enum : ?indent:int ->
?pp_sep:(Format.formatter -> unit -> unit) ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a BatEnum.t -> unit
val cartesian_product : 'a BatEnum.t -> 'b BatEnum.t -> ('a * 'b) BatEnum.t
val tuples : 'a BatEnum.t list -> 'a list BatEnum.t
val adjacent_pairs : 'a BatEnum.t -> ('a * 'a) BatEnum.t
val distinct_pairs : 'a BatEnum.t -> ('a * 'a) BatEnum.t
val pp_print_list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
module Int: sig
.. end