Module Wp.Lang.Subst

module Subst: sig .. end

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