var a07076 = [ [ "slice", "a01478.html#ga6a83c2410180b69ca38a2da2c4c984b9", null ], [ "slice", "a01478.html#ga9cc9983faafa145460d264127f7fd816", null ], [ "size", "a01478.html#ga5b1a5398fdc4ecf20576f3cae02ea8fc", null ], [ "start", "a01478.html#gac5e75a2dd40a49ee555fc35d0eeacc1a", null ], [ "stride", "a01478.html#gab9ee3d00a3ef2be02ac5895894b66ee7", null ] ];