Module Validated = Validated

include Validated_intf.S

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

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