var searchData=
[
  ['variant',['Variant',['../classNewHope.html#a679601da301134f037c3a5786bd7085f',1,'NewHope']]]
];