var fwd_2extract_8hpp =
[
    [ "extract", "fwd_2extract_8hpp.html#ga307479a91a21b7ab06a2bc746b003dcc", null ]
];