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