Skip to main content

Module language_capabilities

lean_ctx::core

Module language_capabilities 

Source

Structs§

LanguageCapabilities

Enums§

LanguageId

Functions§

capabilities
is_indexable_ext
language_for_ext
language_for_path