diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-02 18:30:01 +0200 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-02 18:30:01 +0200 |
commit | d389268e5cee56ad7bdea3c07cb28bcba3b0ff99 (patch) | |
tree | 331c343b475f4be447edd1e7c504ffb3e87b53e8 /caux.sml | |
parent | b3f8ca28af653dcb5fdc10e8c70439d86c043635 (diff) |
Eval
Diffstat (limited to 'caux.sml')
-rw-r--r-- | caux.sml | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -10,7 +10,18 @@ local val parse_float = _import "parse_float": string * int ref -> Real32.real; val parse_double = _import "parse_float": string * int ref -> Real64.real; + in val parseFloat = parse parse_float val parseDouble = parse parse_double + + val word64Toint64 = + _import "conv_word64_to_int64": Word64.word -> Int64.int; + val int64Toword64 = + _import "conv_int64_to_word64": Int64.int -> Word64.word; + + val word64Toint32 = + _import "conv_word64_to_int32": Word64.word -> Int32.int; + val int32Toword64 = + _import "conv_int32_to_word64": Int32.int -> Word64.word; end |