Up

Module Validated

See Validated_intf for documentation.

Signature

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