pub fn mark_program(program: &mut Program)Expand description
Mark every definition and test in a checked program.
Run once, where the program is finished and before any backend sees it, so that “which read is the last” is a property of the compiled program rather than something one backend worked out for itself.