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