plotnik_bytecode/type_system/
mod.rs

1//! Core type system definitions shared between analysis and bytecode.
2//!
3//! This module provides the canonical type model used across:
4//! - Type checking/inference (`query::type_check`)
5//! - Bytecode emission and runtime (`bytecode`)
6//! - TypeScript code generation
7
8mod arity;
9mod kind;
10mod primitives;
11mod quantifier;
12
13#[cfg(test)]
14mod arity_tests;
15#[cfg(test)]
16mod kind_tests;
17#[cfg(test)]
18mod primitives_tests;
19#[cfg(test)]
20mod quantifier_tests;
21
22pub use arity::Arity;
23pub use kind::TypeKind;
24pub use primitives::{PrimitiveType, TYPE_CUSTOM_START, TYPE_NODE, TYPE_STRING, TYPE_VOID};
25pub use quantifier::QuantifierKind;