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