44 |
external external_exit : unit -> unit = "external_exit" |
external external_exit : unit -> unit = "external_exit" |
45 |
external uname : unit -> string = "ml_uname" |
external uname : unit -> string = "ml_uname" |
46 |
|
|
47 |
|
(* CryptoPP *) |
48 |
|
external create_key : unit -> string = "ml_createKey" |
49 |
|
external load_key : string -> string = "ml_loadKey" |
50 |
|
external create_signature : string -> int -> int64 -> int -> int64 -> string = "ml_createSignature" |
51 |
|
external verify_signature : string -> int -> string -> int -> int64 -> int -> int64 -> bool = "ml_verifySignature_bytecode" "ml_verifySignature" |
52 |
|
|
53 |
let really_write fd s pos len = |
let really_write fd s pos len = |
54 |
try |
try |
55 |
Unix2.really_write fd s pos len |
Unix2.really_write fd s pos len |