String getDocs(Sym key) => context._z3 .param_descrs_get_documentation(_desc, context._createSymbol(key)) .cast<Utf8>() .toDartString();