Module Invariant

module Invariant: sig .. end

include Core_kernel.Invariant