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 end