Module Invariant

module Invariant: sig .. end

include Invariant_intf.Invariant