// @generated by openehr-codegen from BMM (`ASSERTION`) — DO NOT EDIT.
//! The openEHR `ASSERTION` spec class, generated from the vendored BMM
//! meta-model.
use crate::beom::core::expression::Expression;
/// Meta-type for a first order predicate logic expression with a Boolean result.
#[doc(alias = "ASSERTION")]
#[derive(Debug, Clone, PartialEq)]
pub struct Assertion {
/// Expression tag, used for differentiating multiple assertions.
pub tag: Option<String>,
/// String form of expression, in case an expression evaluator taking String expressions is used for evaluation.
pub string_expression: Option<String>,
/// Root of expression tree.
pub expression: Box<Expression>,
}