flux_syntax::parser

Function parse_reft_func

Source 
fn parse_reft_func(cx: &mut ParseCtxt<'_>) -> ParseResult<SpecFunc>