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