module Infer_annotations: sig .. end
sig
end
val assigns_from_prototype : Kernel_function.t -> Cil_types.from list
Kernel_function.t -> Cil_types.from list