var a00799 = [ [ "type", "a00799.html#a90375d818b402d9d5f041b5ef9447ee6", null ], [ "value_type", "a00799.html#aaa277335ecdb9178ce008e6affbfcb44", null ], [ "operator value_type", "a00799.html#a5edba6c499d334a54a667ff4b115cd90", null ], [ "value", "a00799.html#gac5dbc0d791c11f4db2a8f32921d16527", null ] ];