Module Std_kernel.Invariant

module Invariant: Invariant

include Invariant_intf.Invariant