Module Infer_annotations

module Infer_annotations: sig .. end
Generation of possible assigns from the C prototype of a function.

val assigns_from_prototype : Kernel_function.t -> Cil_types.identified_term Cil_types.from list