module Ground: sig .. end
sig
end
type subst = Lang.F.pred -> Lang.F.pred
Lang.F.pred -> Lang.F.pred
val singleton : Lang.F.pred -> subst
Lang.F.pred -> subst
val compute : Lang.F.pred array -> subst array * subst
Lang.F.pred array -> subst array * subst