module VarType:Datatype.Make_with_collections
(
sig
include Datatype.Serializable_undefinedval name :string
typet =
Variables_analysis.var_type
val reprs :Variables_analysis.var_type list
val equal :Variables_analysis.var_type -> Variables_analysis.var_type -> bool
val compare :Variables_analysis.var_type -> Variables_analysis.var_type -> int
val hash :Variables_analysis.var_type -> int
end
)
include Datatype.S
module Set:Datatype.Set
with type elt = t
module Map:Datatype.Map
with type key = t
module Hashtbl:Datatype.Hashtbl
with type key = t