Module Use

module Use: sig  end

empty use list.

type t = Term.Set.t Term.Map.t

val mem : Term.Map.key -> 'a Term.Map.t -> bool

val apply : 'a Term.Map.t -> Term.Map.key -> 'a

Parameters:

u	:	`'a Term.Map.t`
a	:	`Term.Map.key`

val find : Term.Set.t Term.Map.t -> Term.Map.key -> Term.Set.t

Parameters:

u	:	`Term.Set.t Term.Map.t`
a	:	`Term.Map.key`

val set : Term.Map.key -> 'a -> 'a Term.Map.t -> 'a Term.Map.t

empty use list.

val empty : 'a Term.Map.t

add x a use adds x to the use of y for each toplevel uninterpreted term in a.

val add : Term.Set.elt -> Term.t -> Term.Set.t Term.Map.t -> Term.Set.t Term.Map.t

Parameters:

x : Term.Set.elt

remove x a s deletes x from the use of y for each toplevel uninterpreted term in a.

val remove : Term.Set.elt -> Term.t -> Term.Set.t Term.Map.t -> Term.Set.t Term.Map.t

Parameters:

x : Term.Set.elt

Pretty-printing.

val pp : Format.formatter -> Term.Set.t Term.Map.t -> unit

Parameters:

fmt	:	`Format.formatter`
u	:	`Term.Set.t Term.Map.t`

val to_list : Term.Set.t Term.Map.t -> (Term.Map.key * Term.Set.elt list) list

Parameters:

u : Term.Set.t Term.Map.t