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 : Fol.term Fol.Vmap.t -> Fol.term -> Fol.term
val expp : Fol.term Fol.Vmap.t -> int Pervasives.ref -> Fol.pred -> Fol.pred
val plet_expansion : Fol.pred -> Fol.pred
val elet_expansion : Fol.term -> Fol.term