luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9

use crate::records::refine::Refine;
use crate::type_aliases::def_id_control_flow_graph::DefId;
use crate::type_aliases::refinement_control_flow_graph::Refinement;

impl Refine {
    pub fn refine(definition: DefId, prop: *const Refinement) -> Self {
        Self { definition, prop }
    }
}