Previous Up Next

Module Validated

module Validated: sig .. end

See Validated_intf for documentation.

include Validated_intf.S