Commits

Sébastien Ferré committed 17d3e8e

Change about load and save (type data).

  • Participants
  • Parent commits 5e81073

Comments (0)

Files changed (1)

 
 (* load and save *)
 
+type data = (string,t) Hashtbl.t
+
 let init () =
   Hashtbl.clear !tbl
 
-let load ch =
-  tbl := (input_value ch : (string,t) Hashtbl.t)
+let load (t : data) =
+  tbl := t
 
-let save ch =
-  output_value ch (!tbl : (string,t) Hashtbl.t)
+let save () = (!tbl : data)
 
 (* Invariants
    - a term absent from tbl has all fields equal to []