var group__group_Comonad =
[
    [ "duplicate", "group__group-Comonad.html#ga181751278bd19a4bfc3c08bd7ddef399", null ],
    [ "extend", "group__group-Comonad.html#gaf44692351fd9fe4e76815dfef6ff4478", null ],
    [ "extract", "group__group-Comonad.html#ga307479a91a21b7ab06a2bc746b003dcc", null ]
];