Module Validate

module Validate: sig .. end

include Core_kernel.Validate