module type S =sig
..end
type'a
t = private'a
val raw : 'a t -> 'a
module type Raw = Validated_intf.Raw
module type Validated =Validated_intf.Validated
with type 'a validated := 'a t
module type Validated_binable =Validated_intf.Validated_binable
with type 'a validated := 'a t
module Make:
module Make_binable: