pub fn lambda_param_of(id: MeasureId) -> Option<usize>Expand description
The parameter index of a placeholder id (see lambda_param).
pub fn lambda_param_of(id: MeasureId) -> Option<usize>The parameter index of a placeholder id (see lambda_param).