Skip to main content

LEAN

rml::cst::dialects

Constant LEAN 

Source 
pub const LEAN: &str = "lino-cst.lean";