html/search/groups_3.js

var searchData=
[
  ['data_20types',['Data types',['../group__group-datatypes.html',1,'']]],
  ['details',['Details',['../group__group-details.html',1,'']]]
];