(* Naivestore *)

type 'data naivesto			(* A map from string to 'data *)

val empty : 'data naivesto
val get   : 'data naivesto -> string -> 'data 
val set   : 'data naivesto -> string * 'data -> 'data naivesto