Module type Equatable.Infix


module type Infix = sig .. end

type equatable 
val (=) : equatable -> equatable -> bool
val (<>) : equatable -> equatable -> bool