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