var tagged__tuple_8hpp =
[
    [ "tagged_tuple", "tagged__tuple_8hpp.html#a4a41d15dc63f390da6896dbb3e0ba797", null ],
    [ "make_tagged_tuple", "tagged__tuple_8hpp.html#a3011549d9142ea8aaff4fbe853ea6a04", null ]
];