Skip to main content

prepare_lacegram_rules

lace_sans_io::logic::lacegram

Function prepare_lacegram_rules 

Source 
pub fn prepare_lacegram_rules(
    rules: Vec<Rule>,
    limits: DatalogLimits,
) -> Result<CanonicalLacegram, PreparationError>
Expand description

Canonical preparation retaining typed resource-limit failures.