Validated : S with type raw := Raw.t
Raw : sig ... end
type t
include sig ... end
val typerep_of_t : t Typerep_lib.Std.Typerep.t
val typename_of_t : t Typerep_lib.Std.Typename.t