Module Validated

module Validated: sig .. end
See Validated_intf for documentation.

include Validated_intf.S