module T : sig ... end
include module type of struct include T end
type t = T.t
type rhs = T.rhs
val eq : t -> rhs -> bool
val ne : t -> rhs -> bool