OSDN Git Service
(root)
/
happyabc
/
happyabc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
06444a8
)
update signature
author
mzp
<mzpppp@gmail.com>
Sat, 6 Jun 2009 05:52:46 +0000
(14:52 +0900)
committer
mzp
<mzpppp@gmail.com>
Sat, 6 Jun 2009 05:52:46 +0000
(14:52 +0900)
scm/src/type/node.mli
patch
|
blob
|
history
diff --git
a/scm/src/type/node.mli
b/scm/src/type/node.mli
index
17f9cf0
..
99c9412
100644
(file)
--- a/
scm/src/type/node.mli
+++ b/
scm/src/type/node.mli
@@
-18,3
+18,4
@@
val lift : ('a -> 'b) -> 'a t -> 'b t
val concat : ('a list -> 'b) -> 'a t list -> 'b t
val to_string : ('a -> string) -> 'a t -> string
+val report : string -> string t -> unit