Module Fol_eqs


module Fol_eqs: sig .. end

module Smap: Datatype.String.Map
val fresh : int Smap.t Pervasives.ref ->
Fol.term Fol.Vmap.t -> Fol.Vmap.key -> Fol.Var.t * Fol.term Fol.Vmap.t
val alpha : 'a Fol.Vmap.t -> Fol.Vmap.key -> 'a
val term : int Smap.t Pervasives.ref ->
(Fol.Var.t * Fol.term) list Pervasives.ref ->
Fol.term Fol.Vmap.t -> Fol.term -> Fol.term
val flush : (Fol.Var.t * Fol.term) list -> Fol.pred -> Fol.pred
val pred : int Smap.t Pervasives.ref ->
Fol.term Fol.Vmap.t -> Fol.pred -> Fol.pred
val compile : Fol.pred -> Fol.pred