1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
(* $Id: netmappings.ml,v 1.1 2000/08/28 23:17:54 gerd Exp $
* ----------------------------------------------------------------------
*
*)
type from_uni_list =
U_nil
| U_single of (int*int)
| U_list of (int*int) list
;;
let to_unicode = Hashtbl.create 50;;
let from_unicode = Hashtbl.create 50;;
let f_lock = ref (fun () -> ());;
let f_unlock = ref (fun () -> ());;
let lock () = !f_lock();;
let unlock () = !f_unlock();;
let init_mt new_f_lock new_f_unlock =
f_lock := new_f_lock;
f_unlock := new_f_unlock
;;
(* ======================================================================
* History:
*
* $Log: netmappings.ml,v $
* Revision 1.1 2000/08/28 23:17:54 gerd
* Initial revision.
*
*
*)
|
