Skip to main content

Module dialects

Module dialects 

Source
Expand description

The four host-language dialect tag prefixes plus the shared dialect.

Constantsยง

JS
LEAN
ROCQ
RUST
SHARED