Skip to main content

luaur_analysis/methods/
refine_refine.rs

1use crate::records::refine::Refine;
2use crate::type_aliases::def_id_control_flow_graph::DefId;
3use crate::type_aliases::refinement_control_flow_graph::Refinement;
4
5impl Refine {
6    pub fn refine(definition: DefId, prop: *const Refinement) -> Self {
7        Self { definition, prop }
8    }
9}