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