var interface_flutter_error =
[
    [ "errorWithCode:message:details:", "interface_flutter_error.html#a321e48a27328fc0162d154271eee6300", null ],
    [ "code", "interface_flutter_error.html#aa0074625ad2e5df5cd63127f857565cb", null ],
    [ "details", "interface_flutter_error.html#aa92f460e2b438623a5c93a3361a87d8f", null ],
    [ "message", "interface_flutter_error.html#a3a10ce35ddbb7b043f7cb427cd6057c3", null ]
];