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