1 2 3 4 5 6 7
use crate::type_aliases::refinement_id_control_flow_graph::RefinementId; #[derive(Debug, Clone)] pub struct Disjunction { pub lhs: RefinementId, pub rhs: RefinementId, }