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