Skip to main content

luaur_analysis/records/
conjunction_control_flow_graph.rs

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