Wtable.listmodel - Frama-C Kernel

object
  method get : int -> 'a
  method index : 'a -> int
  method reload : unit
  method size : int
end