Commit | Line | Data |
---|---|---|
7f918cf1 CE |
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 |