Module token 

Token types for the LOGOS lexer and parser.

This module defines the vocabulary of the LOGOS language at the token level. Tokens represent the atomic syntactic units produced by the lexer and consumed by the parser.

Token Categories

Category	Examples	Description
Quantifiers	every, some, no	Bind variables over domains
Determiners	the, a, this	Select referents
Nouns	cat, philosopher	Predicates over individuals
Verbs	runs, loves	Relations between arguments
Adjectives	red, happy	Modify noun denotations
Connectives	and, or, implies	Combine propositions
Pronouns	he, she, it	Resolve to antecedents

Block Types

LOGOS uses markdown-style block headers for structured documents:

• ## Theorem: Declares a proposition to be proved
• ## Proof: Contains the proof steps
• ## Definition: Introduces new terminology
• ## Main: Program entry point

Structs

Span

Token

Enums

BlockType

Document structure block type markers.

FocusKind

MeasureKind

PresupKind

TokenType