Idris2Doc : Language.JSON.String.Lexer

Language.JSON.String.Lexer

esc : Lexer -> Lexer
  Totality: total
lexString : String -> Maybe (List (WithBounds JSONStringToken))
  Totality: total
quo : Lexer
  Totality: total