Module language_support 

Versioned capability and translation declarations for the four-language surface.

Structs

LanguageSupport

Immutable support declaration for a registered language frontend and emitter.

TranslationContract

One directed source-to-target translation contract.

Enums

RepresentationLevel

Honest capability level for a representation layer.

TranslationSupport

Translation-hook result when no semantics-preserving implementation is registered.

Constants

FOUR_LANGUAGE_SUPPORT

The four built-in parser/emitter capability declarations.

LANGUAGE_REPRESENTATION_SCHEMA_VERSION

Schema revision for parser, emitter, and translation contracts.

Functions

language_support

Returns the capability declaration for a canonical name or alias.

translation_contract

Returns one directed translation hook, excluding same-language emission.

translation_contracts

Returns all 12 directed hooks among JavaScript, Rust, Lean, and Rocq.