Skip to main content

ROCQ

rml::cst::dialects

Constant ROCQ 

Source 
pub const ROCQ: &str = "lino-cst.rocq";