module type Infix = sig .. end
sig
end
type equatable
val (=) : equatable -> equatable -> bool
equatable -> equatable -> bool
val (<>) : equatable -> equatable -> bool