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