]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/netstring/netmappings.ml
Initial revision
[helm.git] / helm / DEVEL / pxp / netstring / netmappings.ml
1 (* $Id$
2  * ----------------------------------------------------------------------
3  *
4  *)
5
6 type from_uni_list =
7     U_nil
8   | U_single of (int*int)
9   | U_list of (int*int) list
10 ;;
11
12 let to_unicode = Hashtbl.create 50;;
13
14 let from_unicode = Hashtbl.create 50;;
15
16 let f_lock = ref (fun () -> ());;
17 let f_unlock = ref (fun () -> ());;
18
19 let lock () = !f_lock();;
20 let unlock () = !f_unlock();;
21
22 let init_mt new_f_lock new_f_unlock =
23   f_lock := new_f_lock;
24   f_unlock := new_f_unlock
25 ;;
26
27 (* ======================================================================
28  * History:
29  * 
30  * $Log$
31  * Revision 1.1  2000/11/17 09:57:28  lpadovan
32  * Initial revision
33  *
34  * Revision 1.1  2000/08/28 23:17:54  gerd
35  *      Initial revision.
36  *
37  * 
38  *)