Skip to main content

Module check

rml

Module check 

Source

Structs§

CheckError
CheckOk
CheckResult

Functions§

check_program
Public entry point: parse both .lino sources, pair queries with derivations 1:1, and verify each pair structurally. Returns a CheckResult with one CheckOk per replayed derivation or a list of CheckErrors describing the first divergence per query.