logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . 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_seq : ('a var * 'b) Iter.t -> ( 'a, 'b ) t
val to_list : ( 'a, 'b ) t -> ('a var * 'b) list
val to_seq : ( 'a, 'b ) t -> ('a var * 'b) Iter.t
val pp : 'b CCFormat.printer -> ( _, 'b ) t CCFormat.printer