rustre_parser::parser::nodes

Function parse_node_decl

Source 
pub fn parse_node_decl<'slice, 'src>(
    input: Input<'slice, 'src, LustreLang>,
) -> IResult<'slice, 'src, LustreLang, ParserError, ParserError>
Expand description

Parses a (potentially unsafe) node or function declaration

§Tolerated syntax errors

  • Omitting the 〈Params〉 returns 〈Params〉 part is only allowed if defining a node alias (when an = sign follows)