rustre_parser::parser::package

Function parse_pack_decl

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