var a04973 = [ [ "argument_type", "a04973.html#a2929dd45c12623740d853c7e8de398e8", null ], [ "result_type", "a04973.html#a1e638962bc3fcf40fe8929272477a9c5", null ], [ "operator()", "a04973.html#afc2b81a9d8f01e977d964edd15adb08c", null ] ];
var a04973 = [ [ "argument_type", "a04973.html#a2929dd45c12623740d853c7e8de398e8", null ], [ "result_type", "a04973.html#a1e638962bc3fcf40fe8929272477a9c5", null ], [ "operator()", "a04973.html#afc2b81a9d8f01e977d964edd15adb08c", null ] ];