Module Fol_eval


module Fol_eval: sig .. end

val new_fname : (Fol.Var.t -> 'a) ->
Fol.Vmap.key ->
'a Fol.Vmap.t -> int Pervasives.ref -> Fol.Var.t * 'a Fol.Vmap.t
val expt : 'a Fol.d_term Fol.Vmap.t -> 'a Fol.d_term -> 'a Fol.d_term
val expp : 'a Fol.d_term Fol.Vmap.t ->
int Pervasives.ref -> 'a Fol.d_pred -> 'a Fol.d_pred
val let_expansion : 'a Fol.d_pred -> 'a Fol.d_pred