var structCVC4_1_1options_1_1stringEIT____option__t =
[
    [ "type", "structCVC4_1_1options_1_1stringEIT____option__t.html#ad97806191556aca50b589999253fa808", null ],
    [ "operator()", "structCVC4_1_1options_1_1stringEIT____option__t.html#a6ac03a540d6880e3209f6dce6c1dd9c4", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1stringEIT____option__t.html#a30b22754e9de7e21b24a447f2f49a7e9", null ]
];