Module type Validated_intf.S

module type S = sig .. end

module type Raw = Validated_intf.Raw

module type Validated = Validated_intf.Validated

module Make: 
functor (Raw : Raw) -> Validated          with type raw := Raw.t

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