diff options
Diffstat (limited to 'tools/Scanner/Parser.lean')
| -rw-r--r-- | tools/Scanner/Parser.lean | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/Scanner/Parser.lean b/tools/Scanner/Parser.lean index 630b3fc..f89c239 100644 --- a/tools/Scanner/Parser.lean +++ b/tools/Scanner/Parser.lean @@ -2,6 +2,12 @@ import Scanner.Protocol import Lean.Data.Xml.Basic import Lean.Data.Xml.Parser +/-! +# Parsing of Protocol Description + +This converts a protocol description XML into a `Raw.ProtocolDesc`. +-/ + private def String.toNat (s : String) : Except String Nat := match Lean.Syntax.decodeNatLitVal? s with | .some n => .ok n |