Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / basis-library / sml-nj / sml-nj.sig
CommitLineData
7f918cf1
CE
1signature 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