Idris2Doc : Language.JSON.String.Lexer

Language.JSON.String.Lexer

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