Idris2Doc : Language.JSON.Lexer

Language.JSON.Lexer

lexJSON : String -> Maybe (List (WithBoundsJSONToken))
Totality: total