sig
  type sigma
  val sigma : Lang.F.var list -> Lang.F.term list -> Lang.Subst.sigma
  val e_apply : Lang.Subst.sigma -> Lang.F.term -> Lang.F.term
  val p_apply : Lang.Subst.sigma -> Lang.F.pred -> Lang.F.pred
end