With_valid.Wrap
Create a new hardcaml interface with type ('a, 'a X.t) With_valid.t2.
('a, 'a X.t) With_valid.t2
module Make (X : Interface.Pre) : Interface.S with type 'a t = ( 'a, 'a X.t ) t2
module M (X : Base.T1) : sig ... end
module type S = sig ... end