Module Var.Subst

type (+'a, +'b) t
val empty : (__) t
val is_empty : (__) t -> bool
val singleton : 'a var -> 'b -> ('a'b) t
val size : (__) t -> int
val add : ('a'b) t -> 'a var -> 'b -> ('a'b) t
val mem : ('a_) t -> 'a var -> bool
val find : ('a'b) t -> 'a var -> 'b option
val find_exn : ('a'b) t -> 'a var -> 'b
val merge : ('a'b) t -> ('a'b) t -> ('a'b) t
val of_list : ('a var * 'b) list -> ('a'b) t
val of_seq : ('a var * 'b) Sequence.t -> ('a'b) t
val to_list : ('a'b) t -> ('a var * 'b) list
val to_seq : ('a'b) t -> ('a var * 'b) Sequence.t
val pp : 'b CCFormat.printer -> (_'b) t CCFormat.printer