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