1var fwd_2is__empty_8hpp = 2[ 3 [ "is_empty", "fwd_2is__empty_8hpp.html#ga2a05f564f8a7e4afa04fcbc07ad8f394", null ] 4];