var fwd_2unfold__right_8hpp =
[
    [ "unfold_right", "fwd_2unfold__right_8hpp.html#ga497286bf277e6f8e89ddb18661e1033e", null ]
];