var a00710 =
[
    [ "first_argument_type", "d4/deb/a00710.xhtml#a8d272be7aa5e790c3b589ee82bc843f7", null ],
    [ "result_type", "d4/deb/a00710.xhtml#acaa8347ef8f43c10bdbaf1debf8a3ec8", null ],
    [ "second_argument_type", "d4/deb/a00710.xhtml#a892d1451459ff786aca4468200c11b39", null ],
    [ "operator()", "d4/deb/a00710.xhtml#ae2d5f8ced11d576f4c781ae679e49e1b", null ]
];