Module Equatable


module Equatable: sig .. end

module type Infix = sig .. end
module type S = sig .. end