Skip to main content

exact_arg

liquid_fixpoint::suggestion_solver

Function exact_arg 

Source 
fn exact_arg<'a>(
    operator: &str,
    args: &'a [Sexp],
    expected: usize,
) -> &'a [Sexp]