Skip to main content

parse_lacegram

Function parse_lacegram 

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

Parse a canonical lacegram text into a compiled Lacegram.

Rejects text that differs from the shared preparer’s canonical rendering, including empty programs, comments, noncanonical spacing, rule order, duplicates, and trailing LF. Authoring syntax is not accepted.