var theoryof__mode_8h =
[
    [ "TheoryOfMode", "theoryof__mode_8h.html#ac850bbbd0d54e41424a977bc3a7706f0", [
      [ "THEORY_OF_TYPE_BASED", "theoryof__mode_8h.html#ac850bbbd0d54e41424a977bc3a7706f0a71f2bda7fcca1302d706ee0e5eadaa3f", null ],
      [ "THEORY_OF_TERM_BASED", "theoryof__mode_8h.html#ac850bbbd0d54e41424a977bc3a7706f0a44c68525201e91eefe638a3fda172744", null ]
    ] ],
    [ "operator<<", "theoryof__mode_8h.html#af3a67a8649d95bdb496e715e126b0cf1", null ]
];