Up

Module type S

Signature

type 'a t = private 'a
val raw : 'a t -> 'a
module type Raw = Raw
module type Validated = Validated with type 'a validated := 'a t
module type Validated_binable = Validated_binable with type 'a validated := 'a t
module Make (Raw : Raw) : Validated with type raw := Raw.t