use serde::{Deserialize, Serialize};
use super::semantics::TransformationSemantics;
#[derive(Debug, Clone, Default, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "camelCase")]
pub struct ContractGuarantees {
#[serde(default, skip_serializing_if = "Option::is_none")]
pub semantics: Option<TransformationSemantics>,
#[serde(default, skip_serializing_if = "Option::is_none")]
pub information_loss: Option<String>,
#[serde(default, skip_serializing_if = "Vec::is_empty")]
pub statements: Vec<String>,
}