HCoop
/
hcoop
/
debian
/
mlton.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Import Upstream version 20180207
[hcoop/debian/mlton.git]
/
basis-library
/
libs
/
basis-none
/
top-level
/
basis.sig
1
signature BASIS_NONE =
2
sig
3
(* Top-level types *)
4
eqtype 'a array
5
datatype bool = datatype BasisExtra.bool
6
eqtype char
7
type exn
8
eqtype int
9
datatype list = datatype BasisExtra.list
10
datatype ref = datatype BasisExtra.ref
11
type real
12
eqtype string
13
type substring
14
eqtype unit
15
eqtype 'a vector
16
eqtype word
17
18
exception Bind
19
exception Match
20
exception Overflow
21
22
val = : ''a * ''a -> bool
23
val <> : ''a * ''a -> bool
24
end