var searchData=
[
  ['types_0',['types',['../group__types_group.html',1,'Types'],['../group__micro_types.html',1,'Types']]]
];