Module type Validated_intf.S

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: 
functor (Raw : Raw) -> Validated          with type raw := Raw.t

module Make_binable: 
functor (Raw : Validated_intf.Raw_binable) -> Validated_binable  with type raw := Raw.t