sig
type subst = Lang.F.pred -> Lang.F.pred
val singleton : Lang.F.pred -> Letify.Ground.subst
val compute :
Lang.F.pred array -> Letify.Ground.subst array * Letify.Ground.subst
type env
val pretty : Stdlib.Format.formatter -> Letify.Ground.env -> unit
val top : unit -> Letify.Ground.env
val copy : Letify.Ground.env -> Letify.Ground.env
val e_apply : Letify.Ground.env -> Lang.F.term -> Lang.F.term
val p_apply : Letify.Ground.env -> Lang.F.pred -> Lang.F.pred
val forward : Letify.Ground.env -> Lang.F.pred -> Lang.F.pred
val backward : Letify.Ground.env -> Lang.F.pred -> Lang.F.pred
val branch :
Letify.Ground.env ->
Lang.F.pred -> Lang.F.pred * Letify.Ground.env * Letify.Ground.env
end