flux_syntax::grammar

Function __action847

Source
fn __action847(
    cx: &mut ParseCtxt<'_>,
    __0: (Location, Async, Location),
    __1: (Location, Token, Location),
    __2: (Location, Ident, Location),
    __3: (Location, Generics, Location),
    __4: (Location, Token, Location),
    __5: (Location, RefineParams, Location),
    __6: (Location, Token, Location),
    __7: (Location, Token, Location),
    __8: (Location, Vec<FnInput>, Location),
    __9: (Location, Token, Location),
    __10: (Location, Token, Location),
    __11: (Location, Vec<Requires>, Location),
    __12: (Location, Token, Location),
    __13: (Location, Vec<Ensures>, Location),
) -> FnSig