var a00134 = [ [ "first_argument_type", "a00134.html#ad907337549df2e1a3c3dbca8e0693dba", null ], [ "result_type", "a00134.html#a5fe0082d5851e1be6383ad8d8493264e", null ], [ "second_argument_type", "a00134.html#aae0f69fe498930627177ff1f06d0ef9f", null ], [ "operator()", "a00134.html#ad0d7993e0e66d0e418593e12ac20c94a", null ], [ "operator()", "a00134.html#ac071caf9546004927231a5f9687db2b2", null ] ];