flux_syntax::parser

Function parse_refine_param

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