Module type_system 

Core type system definitions shared between analysis and bytecode.

This module provides the canonical type model used across:

• Type checking/inference (query::type_check)
• Bytecode emission and runtime (bytecode)
• TypeScript code generation

Enums

Arity

Structural arity - whether an expression matches one or many positions.

PrimitiveType

Primitive type enumeration.

QuantifierKind

Quantifier kind for pattern matching.

TypeKind

Semantic type kinds.

Constants

TYPE_CUSTOM_START

First index available for user-defined/composite types.

TYPE_NODE

Index for the Node type (tree-sitter AST node reference).

TYPE_STRING

Index for the String type (extracted source text).

TYPE_VOID

Index for the Void type (produces nothing).