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