Skip to main content

lambda_category

Function lambda_category 

Source
pub fn lambda_category(i: usize) -> CategoryId
Expand description

The category standing for parameter i of a named LAMBDA whose body uses the parameter as a category (MAX(x OVER c), POSITION(c)).