module invariant

views updated

module invariant See invariant.