text: var searchData=
  [
    ['foldable_1199',['Foldable',['../group__group-_foldable.html',1,'']]],
    ['functional_1200',['Functional',['../group__group-functional.html',1,'']]],
    ['functor_1201',['Functor',['../group__group-_functor.html',1,'']]]
  ];
  