1(* ========================================================================= *)
2(* ML SPECIFIC FUNCTIONS                                                     *)
3(* Copyright (c) 2001-2004 Joe Hurd.                                         *)
4(* ========================================================================= *)
5
6signature mlibPortable =
7sig
8
9(* The ML implementation *)
10val ml : string
11
12(* Pointer equality using the run-time system *)
13val pointer_eq : 'a -> 'a -> bool
14
15(* Timing function applications *)
16val time : ('a -> 'b) -> 'a -> 'b
17
18(* MD5 cryptographic hashing *)
19val md5 : string -> string
20
21end
22