1var group__group_Comonad = 2[ 3 [ "duplicate", "group__group-Comonad.html#ga181751278bd19a4bfc3c08bd7ddef399", null ], 4 [ "extend", "group__group-Comonad.html#gaf44692351fd9fe4e76815dfef6ff4478", null ], 5 [ "extract", "group__group-Comonad.html#ga307479a91a21b7ab06a2bc746b003dcc", null ] 6];