Module Letify.Ground

module Ground: sig .. end

type subst = Lang.F.pred -> Lang.F.pred 
val singleton : Lang.F.pred -> subst
val compute : Lang.F.pred array -> subst array * subst