# 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