module type S = sig .. end
sig
end
include Equatable.Infix
val equal : equatable -> equatable -> bool
equatable -> equatable -> bool