Skip to main content

check_col_index

Function check_col_index 

Source
fn check_col_index(
    name: &str,
    e: &Expr<Aug>,
    max: usize,
) -> Result<Option<usize>, PlanError>