var a05663 = [ [ "first_argument_type", "a05663.html#ac63d5c5aed34a233b56c7e781e2bf85e", null ], [ "result_type", "a05663.html#a7c2185fac3f7b88e4c19bdb11300149c", null ], [ "second_argument_type", "a05663.html#a35f1efa977cd72834883201f09c7715c", null ], [ "operator()", "a05663.html#a63c11908a531230834d0c0c9c60b0aad", null ] ];