Module Fol_gformula.Pool


module Pool: sig .. end

type pool = (string, int option) Hashtbl.t 
type var = Fol.Var.t 
val pool : unit -> ('a, 'b) Hashtbl.t
val fresh_var : ('a, int option) Hashtbl.t -> 'a -> int option
val fresh : (string, int option) Hashtbl.t -> string -> Formula.kind -> Fol.Var.t
val var : Fol.Var.t -> 'a Fol.d_term
val tau_of_var : Fol.Var.t -> Formula.tau
val name_of_var : Fol.Var.t -> string
val basename_of_var : Fol.Var.t -> string
val kind_of_var : Fol.Var.t -> Formula.kind
val freshen : (string, int option) Hashtbl.t -> Fol.Var.t -> Fol.Var.t