Sophie
var structTIDCompare = [ [ "operator()", "structTIDCompare.html#a14899faa309a5f2d1590bbe7f0212eb2", null ] ];