module Equality_sig: sig .. end
sig
end
Equality
type 't or_void = [ `Value of 't | `Void ]
't
[ `Value of 't | `Void ]
module type S = sig .. end
module type Set = sig .. end
module type S_with_collections = sig .. end