var structtf_1_1TaggedHead64 =
[
    [ "pointer_type", "structtf_1_1TaggedHead64.html#a08ce66583ac725f8b04a9c1c8712fe5a", null ],
    [ "tag_type", "structtf_1_1TaggedHead64.html#a083245444246fc009cc5a9f0575873fb", null ],
    [ "TaggedHead64", "structtf_1_1TaggedHead64.html#a2d80dcd038a803070968767e7faf5b66", null ],
    [ "TaggedHead64", "structtf_1_1TaggedHead64.html#a69ff7008fc488088296aa846ac402eec", null ],
    [ "get_ptr", "structtf_1_1TaggedHead64.html#a4ca12190dab9208304fb073021f4059d", null ],
    [ "get_tag", "structtf_1_1TaggedHead64.html#a4013057d15d66e9678350a0bf5a521d2", null ],
    [ "bits", "structtf_1_1TaggedHead64.html#a8fb8d07cd7124212732221086ef98e79", null ]
];