luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

//! Generated skeleton item. @skeleton-stub
//! Node: `cxx:Record:Luau.Analysis:Analysis/include/Luau/Predicate.h:53:and_predicate`
//! Source: `Analysis/include/Luau/Predicate.h`
//! Graph edges:
//! - declared_by: source_file Analysis/include/Luau/Predicate.h
//! - source_includes:
//!   - includes -> source_file Ast/include/Luau/Location.h
//!   - includes -> source_file Analysis/include/Luau/LValue.h
//!   - includes -> source_file Common/include/Luau/Variant.h
//!   - includes -> source_file Analysis/include/Luau/TypeFwd.h
//! - incoming:
//!   - declares <- source_file Analysis/include/Luau/Predicate.h
//!   - type_ref <- type_alias Predicate (Analysis/include/Luau/Predicate.h)
//!   - type_ref <- method AndPredicate::AndPredicate (Analysis/include/Luau/Predicate.h)
//!   - type_ref <- record TypeChecker (Analysis/include/Luau/TypeInfer.h)
//!   - type_ref <- method TypeChecker::checkExpr (Analysis/src/TypeInfer.cpp)
//!   - type_ref <- method TypeChecker::resolve (Analysis/src/TypeInfer.cpp)
//!   - type_ref <- method TypeChecker::resolve (Analysis/src/TypeInfer.cpp)
//!   - type_ref <- method TypeChecker::resolve (Analysis/src/TypeInfer.cpp)
//! - outgoing:
//!   - type_ref -> method AndPredicate::AndPredicate (Analysis/include/Luau/Predicate.h)
//!   - type_ref -> type_alias PredicateVec (Analysis/include/Luau/Predicate.h)
//!   - translates_to -> rust_item AndPredicate

use crate::type_aliases::predicate_vec::PredicateVec;

#[derive(Debug, Clone)]
pub struct AndPredicate {
    pub lhs: PredicateVec,
    pub rhs: PredicateVec,
}