var searchData=
[
  ['precision_20types',['Precision types',['../a00145.html',1,'']]]
];