Skip to main content

canonicalize_lacegram_text

Function canonicalize_lacegram_text 

Source
pub fn canonicalize_lacegram_text(
    text: &str,
    limits: DatalogLimits,
) -> Result<String, String>
Expand description

Canonicalize ordinary Datalog source to 030 lacegram text.