pub fn binds_once(status: &str, once: u32) -> boolExpand description
Whether status limits what it annotates to once per transaction: the
condition once is a conjunct of every line (Muss [483] ∧ [2061]). Where
it sits in one branch only (Soll [165] ∧ (([2061] ∧ [583]) ∨ [584])), the
other branch allows more.