use crate::records::subtyping_result::SubtypingResult;

impl SubtypingResult {
    pub fn negate(result: &SubtypingResult) -> SubtypingResult {
        SubtypingResult {
            is_subtype: !result.is_subtype,
            normalization_too_complex: result.normalization_too_complex,
            ..result.clone()
        }
    }
}
