module type Validated_binable = Validated_intf.Validated_binable with type 'a validated := 'a t
Validated_intf.Validated_binable
with type 'a validated := 'a t
include Validated_intf.Validated
include ??