Up
Module
Validated
=
Validated
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 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