| 1 | signature SML_OF_NJ = |
| 2 | sig |
| 3 | structure Cont: |
| 4 | sig |
| 5 | type 'a cont |
| 6 | val callcc: ('a cont -> 'a) -> 'a |
| 7 | val isolate: ('a -> unit) -> 'a cont |
| 8 | val throw: 'a cont -> 'a -> 'b |
| 9 | end |
| 10 | structure SysInfo: |
| 11 | sig |
| 12 | exception UNKNOWN |
| 13 | datatype os_kind = BEOS | MACOS | OS2 | UNIX | WIN32 |
| 14 | |
| 15 | val getHostArch: unit -> string |
| 16 | val getOSKind: unit -> os_kind |
| 17 | val getOSName: unit -> string |
| 18 | end |
| 19 | |
| 20 | val exnHistory: exn -> string list |
| 21 | val exportFn: string * (string * string list -> OS.Process.status) -> unit |
| 22 | val exportML: string -> bool |
| 23 | val getAllArgs: unit -> string list |
| 24 | val getArgs: unit -> string list |
| 25 | val getCmdName: unit -> string |
| 26 | end |