Frama-C API - Build_pred_or_term
module type S = sig ... endA unified signature for building terms and expressions. Not to be confused with Analyses_types.pred_or_term, which simply is the sum of both types, while here separate modules are provided for predicates and terms.
module Predicate : S with type t = Frama_c_kernel.Cil_types.predicatemodule Term : S with type t = Frama_c_kernel.Cil_types.term