Idris2Doc : Language.JSON.Lexer

Language.JSON.Lexer

lexJSON : String -> Maybe (ListJSONToken)
Totality: total