1 /* Title: Pure/Tools/json.scala
1 /* Title: Pure/General/json.scala
2 Author: Makarius
3
4 Support for JSON parsing.
5 */
6