Module type Validated_intf.Validated_binable

module type Validated_binable = sig .. end

include Validated_intf.Validated

include ??