Frama-C API - `Logic_builtin_used`

logic function/predicates that are effectively used in current project.

val add : string -> Cil_types.logic_info list -> unit

val mem : string -> bool

val iter : (string -> Cil_types.logic_info list -> unit) -> unit

val self : State.t