Api.Request
val add_call_fun :
caller:Slice.t ->
to_call:Frama_c_kernel.Cil_types.kernel_function ->
unit
val add_call_min_fun :
caller:Slice.t ->
to_call:Frama_c_kernel.Cil_types.kernel_function ->
unit
val add_selection : Select.set -> unit
val add_persistent_selection : Select.set -> unit
val add_selection_internal : Select.t -> unit