repo.or.cz
/
deriving.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
import deriving 0.1.1a
[deriving.git]
/
lib
/
interned.mli
blob
9cf27eb9d3a92a7647f1be7f95e9be461283e0c0
1
(* Interned strings *)
2
3
type
t
4
val
compare
:
t
->
t
->
int
5
val
eq
:
t
->
t
->
bool
6
val
intern
:
string
->
t
7
val
to_string
:
t
->
string
8
val
name
:
t
->
string