sig
  module IntVector = M_IntVector
  module GCounter = M_GCounter
  module PNCounter = M_PNCounter
  module GSet = M_GSet
  module ORSet = M_ORSet
  module USet = M_USet
end