module Make:
Given a type with comparison, equality and printing facilities, build
the same facilities for lists of that type.
type
t
val compare : t -> t -> int
Standard comparator, return <0 if first less than second, 0 if equal, >0 if greater.
val equal : t -> t -> bool
Standard equality predicate.
val hash : t -> int
Standard hash function.
val to_string : t -> string
Convert to string.
val pp : Format.formatter -> t -> unit
Pretty printer.