var structcore_1_1trust_1_1TaggedInteger =
[
    [ "IntegerType", "structcore_1_1trust_1_1TaggedInteger.html#a35e56376090c8a39ac1d99ddc5805f3e", null ],
    [ "TagType", "structcore_1_1trust_1_1TaggedInteger.html#a1ee824a7045684d83f8dd4bb74e89dfe", null ],
    [ "TaggedInteger", "structcore_1_1trust_1_1TaggedInteger.html#af82baa6bacb2ba38b7ff986bba86c699", null ],
    [ "TaggedInteger", "structcore_1_1trust_1_1TaggedInteger.html#aa2d16ad37ac75fd988100d657b260bd1", null ],
    [ "value", "structcore_1_1trust_1_1TaggedInteger.html#a3cebe0503e40c1d1d9ca29fbb19c5337", null ]
];