HCoop
/
hcoop
/
zz_old
/
portal.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
3a0395328d024b244a51beab39aeaf20afc9ac5c
[hcoop/zz_old/portal.git]
/
util.sig
1
signature UTIL =
2
sig
3
val printInt : int -> unit
4
val printReal : real -> unit
5
6
val id : 'a -> 'a
7
val makeSet : ('a -> string) -> 'a list -> string
8
end