module Fol_eqs: sig
.. end
type 'a
env = {
}
val new_name : Fol.Vmap.key ->
Fol.Var.t Fol.Vmap.t ->
int Pervasives.ref -> Fol.Var.t * Fol.Var.t Fol.Vmap.t
val cct : Fol.Var.t Fol.Vmap.t ->
'a env -> int Pervasives.ref -> 'a Fol.d_term -> 'a Fol.d_term
val flush : 'a env -> 'a Fol.d_pred -> 'a Fol.d_pred
val init_env : unit -> 'a env
val ccpred : Fol.Var.t Fol.Vmap.t ->
int Pervasives.ref -> 'a Fol.d_term Fol.t_pred -> 'a Fol.d_pred
val ccp : Fol.Var.t Fol.Vmap.t ->
'a env ->
int Pervasives.ref -> 'a Fol.d_term Fol.t_pred -> 'a Fol.d_pred
val cc_pred : 'a Fol.d_term Fol.t_pred -> 'a Fol.d_pred