Up

module Invariant

: sig
include Invariant_intf.Invariant
end