sig module List : sig val concat_map : ('a -> 'b list) -> 'a list -> 'b list val equal : ('a -> 'a -> bool) -> 'a list -> 'a list -> bool val compare : ('a -> 'a -> int) -> 'a list -> 'a list -> int end end