var fwd_2span_8hpp =
[
    [ "span", "fwd_2span_8hpp.html#ga9bdde56d805517bce8e387f5bcd1887e", null ]
];