Parameter `Restrict._`

val functions : 
  (Frama_c_kernel.Kernel_function.t * Eva__.Domain_mode.mode) list