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 remove : ('a, 'b) t -> 'a var -> ('a, 'b) t
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_iter : ('a var * 'b) Iter.t -> ('a, 'b) t
val to_list : ('a, 'b) t -> ('a var * 'b) list
val to_iter : ('a, 'b) t -> ('a var * 'b) Iter.t
val pp : 'b CCFormat.printer -> (_, 'b) t CCFormat.printer