pub fn listed<'a>(v: &'a Value, budget: &mut Budget) -> OpResult<Cow<'a, Value>>Expand description
A count law with its outcomes listed, for what needs them; anything else as it is. (Out of line: a lazy law is rare, and the lifting functions, generic and hot, must stay small enough to inline.)