Utils.Containers
Some common instances of Set
Set
module SS = Gillian.Utils.Containers.SS
module SI = Gillian.Utils.Containers.SI
module SB = Gillian.Utils.Containers.SB
module SN = Gillian.Utils.Containers.SN