var reverse__partial_8hpp =
[
    [ "reverse_partial", "reverse__partial_8hpp.html#ga6e648f0d3fc0209ec024e9d759a5e8f8", null ]
];