var span_8hpp =
[
    [ "make_span", "span_8hpp.html#ga6fa017a65e0445314ed8c1306fb461de", null ],
    [ "make_span", "span_8hpp.html#ga6fa017a65e0445314ed8c1306fb461de", null ]
];