Previous  Up  

Module type Validated_intf.S.Validated_binable

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