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