Skip to main content

Module rules_validation

lean_ctx::core

Module rules_validation 

Source
Expand description

Rules-file parsing, validation, and merge helpers.

Structsยง

RulesFile
A parsed lean-ctx rules section from a file on disk.