Idris2Doc : Language.JSON.Parser

Language.JSON.Parser

parseJSON : ListJSONToken -> MaybeJSON
Totality: total