Module formatting 

Lemma source code formatting.

Formats parsed specs into canonical Lemma source text. Uses AsLemmaSource and Expression::Display for syntax; this module handles layout only.

Constants

MAX_COLS

Soft line length limit. Longer lines may be wrapped (unless clauses, expressions). Facts and other constructs are not broken if they exceed this.

Functions

format_source

Parse a source string and format it to canonical Lemma source.

format_specs

Format a sequence of parsed specs into canonical Lemma source.