gillian » Gillian » Utils » Containers

Module Utils.Containers

module SS : sig ... end

A Set of strings

module SI : sig ... end

A Set of ints

module SB : sig ... end

A Set of bools

module SN : sig ... end

A Set of floats