Searched refs:NumberSeparator (Results 1 – 1 of 1) sorted by relevance
57 public static readonly Parser<char> NumberSeparator = Parse.Char('_'); field in Antmicro.Renode.PlatformDescription.Syntax.Grammar65 …from digitsContinuation in NumberSeparator.Then(_ => Parse.Number).Many().Select(x => String.Join(…76 …from hexadecimalDigitsContinuation in NumberSeparator.Then(_ => HexadecimalDigit.AtLeastOnce().Tex…
