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