pub fn lambda_slot(k: u32, i: u32) -> MeasureIdExpand description
The placeholder measure id for parameter i (0 the accumulator, 1 the
value) of the k-th REDUCE/SCAN lambda in a formula. Placeholders
sit at the top of the id space, above any real measure.