Module types 

Core runtime type definitions.

This module defines the primitive types used by LOGOS programs at runtime. These are type aliases that map LOGOS types to their Rust equivalents.

Type Mappings

LOGOS Type	Rust Type	Description
Nat	u64	Natural numbers (non-negative)
Int	i64	Signed integers
Real	f64	Floating-point numbers
Text	String	UTF-8 strings
Bool	bool	Boolean values
Unit	()	The unit type
Char	char	Unicode scalar values
Byte	u8	Raw bytes
Seq<T>	Vec<T>	Ordered sequences
Set<T>	HashSet<T>	Unordered unique elements
Map<K,V>	HashMap<K,V>	Key-value mappings

Enums

Value

Dynamic value type for heterogeneous collections.

Traits

LogosContains

Unified containment testing for all collection types.

Type Aliases

Bool

Boolean truth values.

Byte

Raw bytes (0-255).

Char

Unicode scalar values.

Int

Signed integers.

Map

Key-value mappings with hash-based lookup.

Nat

Non-negative integers. Maps to Peano Nat in the kernel.

Real

IEEE 754 floating-point numbers.

Seq

Ordered sequences (lists).

Set

Unordered collections of unique elements.

Text

UTF-8 encoded text strings.

Tuple

Tuple type: Vec of heterogeneous Values (uses LogosIndex from indexing module)

Unit

The unit type (single value).