Std_extra.Utils
Various utility functions and modules. Includes pretty-printer, extended Stdlib Sets and Maps, unicode characters and more.
val pp_dot : unit Types.pp
print a "." separator with break
val pp_semicolon : unit Types.pp
print a "; " separator with breaking space
module Unicode : sig ... end
Unicode symbols (or full text equivalent if unicode is off)
Set to Ocolor_format.printf
or Format.printf
to enable/disable coloring
Print debug information in step by step mode
hash_sum ~nb ~log_total h
returns a hash for contructor ~nb
(between 0
and 2^(~log_total)-1
) whose arguments hash top h
Compare a pair in lexicographic order
val order_of_compare : int -> Types.order
val compare_of_order : Types.order -> int
val equal_of_order : Types.order -> bool
val order_of_poly_order : ('a, 'b) Types.poly_order -> Types.order
val equal_of_poly_equal : ('a, 'b) Types.poly_equal -> bool
val unary_order_of_compare :
(('a -> 'a -> int) -> 'at -> 'at -> int) ->
('a -> 'a -> Types.order) ->
'at ->
'at ->
Types.order