pub fn check(program: &Program, facts: &Facts) -> Vec<Diagnostic>Expand description
Checks every freeze() in program.
The answer is one diagnostic per site that could not be proved, and one per read of a vector a proved site already consumed.
pub fn check(program: &Program, facts: &Facts) -> Vec<Diagnostic>Checks every freeze() in program.
The answer is one diagnostic per site that could not be proved, and one per read of a vector a proved site already consumed.