Frama-C API - Subst
val create : ?pool:pool -> unit -> t
val filter : t -> term -> bool
Must bind lc-closed terms, or raise Invalid_argument
Must bind lc-closed terms, or raise Invalid_argument
val add_filter : t -> (term -> bool) -> unit
Only modifies terms that pass the filter.
val add_var : t -> var -> unit
val add_term : t -> term -> unit