prusto_rs/models/
warning.rs

1use serde::Deserialize;
2
3#[derive(Deserialize, Debug)]
4#[serde(rename_all = "camelCase")]
5pub struct Warning {
6    pub warning_code: Code,
7    pub message: String,
8}
9
10#[derive(Deserialize, Debug)]
11#[serde(rename_all = "camelCase")]
12pub struct Code {
13    pub code: i32,
14    pub name: String,
15}