Mercurial > meta
comparison json.urs @ 5:943410267fad
Import Incl and Mem
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 14 Dec 2010 09:49:10 -0500 |
parents | 8f7396495045 |
children | 8de201d70b91 |
comparison
equal
deleted
inserted
replaced
4:8f7396495045 | 5:943410267fad |
---|---|
1 (** The JSON text-based serialization format *) | |
2 | |
1 class json | 3 class json |
2 | 4 |
3 val toJson : a ::: Type -> json a -> a -> string | 5 val toJson : a ::: Type -> json a -> a -> string |
4 val fromJson : a ::: Type -> json a -> string -> a | 6 val fromJson : a ::: Type -> json a -> string -> a |
5 | 7 |