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