var a00597 =
[
    [ "first_argument_type", "d8/dbd/a00597.xhtml#ad7c1fcda71ac20d6982c9c0d0a8eca1c", null ],
    [ "result_type", "d8/dbd/a00597.xhtml#ab186dc130c3ad10f36c54e178579924d", null ],
    [ "second_argument_type", "d8/dbd/a00597.xhtml#a601a5c0e763dba6675f7f020cf75a8e5", null ],
    [ "operator()", "d8/dbd/a00597.xhtml#ae7ea593c677f1f4d3cd59c957b5e6171", null ]
];