pub fn record_control(controls: &mut Controls, meaning: ControlMeaning)Expand description
What:
Add one control’s effect to the record.
&mut Controls lends the record for
writing (sibling &Controls lends it read-only).
Why:
A repeated escape must not list its policy twice:
the list is compared in tests
and printed in diagnostics.
In TS you’d write (pseudocode):
function recordControl(controls: Controls, meaning: ControlMeaning): void;