Skip to main content

DOCUMENT_EXTENSION

logicaffeine_kernel::interface::lean::emit

Constant DOCUMENT_EXTENSION 

Source 
pub const DOCUMENT_EXTENSION: &str = "lg";
Expand description

The published document’s extension.