sig
type env
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