Frama-C API - Transfer_specification
val treat_statement_assigns : pos:Position.t -> Frama_c_kernel.Cil_types.assigns -> Dom.t -> Dom.t
Frama-C Frama-C Transfer_specificationval treat_statement_assigns : pos:Position.t -> Frama_c_kernel.Cil_types.assigns -> Dom.t -> Dom.t