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