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