flux_syntax::parser

Function parse_refine_param

Source 
fn parse_refine_param(
    cx: &mut ParseCtxt<'_>,
    require_sort: RequireSort,
) -> ParseResult<RefineParam>
Expand description
⟨refine_param⟩ := ⟨mode⟩? ⟨ident⟩ ⟨ : ⟨sort⟩ ⟩?    if require_sort is Maybe
                | ⟨mode⟩? ⟨ident⟩ : ⟨sort⟩         if require_sort is Yes
                | ⟨mode⟩? ⟨ident⟩                  if require_sort is No