Idris2Doc : Language.JSON.Parser

Language.JSON.Parser

parseJSON : List (WithBoundsJSONToken) -> MaybeJSON
Totality: total