Module Letify.Ground

module Ground: sig .. end

type env 

val top : unit -> env

val copy : env -> env

val e_apply : env -> Lang.F.term -> Lang.F.term

val p_apply : env -> Lang.F.pred -> Lang.F.pred

val forward : env -> Lang.F.pred -> Lang.F.pred

val backward : env -> Lang.F.pred -> Lang.F.pred

val branch : env ->
       Lang.F.pred -> Lang.F.pred * env * env