var structtf_1_1TaggedHead128 =
[
    [ "pointer_type", "structtf_1_1TaggedHead128.html#a96fd2f882683439626557696865a7c2e", null ],
    [ "tag_type", "structtf_1_1TaggedHead128.html#adae5c12850044b9b057d906e66ea1e10", null ],
    [ "TaggedHead128", "structtf_1_1TaggedHead128.html#a2ab84beb516ade5cc3dcee37be76de07", null ],
    [ "TaggedHead128", "structtf_1_1TaggedHead128.html#a671a2c14738149dc520f14f20dd4fbe0", null ],
    [ "get_ptr", "structtf_1_1TaggedHead128.html#a1913d2db0ccb11680d0a9bf69aae11d6", null ],
    [ "get_tag", "structtf_1_1TaggedHead128.html#af2d453addfb9c4cb3fdc47d39bae4e01", null ],
    [ "ptr", "structtf_1_1TaggedHead128.html#a2dc89eb11291cd891242734e41c9a8e8", null ],
    [ "tag", "structtf_1_1TaggedHead128.html#a31aa61c2cfbd5fbf61e4e48d39f712ad", null ]
];