Skip to main content

luaur_analysis/records/
refine.rs

1use crate::type_aliases::def_id_control_flow_graph::DefId;
2use crate::type_aliases::refinement_control_flow_graph::Refinement;
3
4#[derive(Debug, Clone)]
5pub struct Refine {
6    pub definition: DefId,
7    pub prop: *const Refinement,
8}