Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
3dcb0d88
Commit
3dcb0d88
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2006-10-31 19:04:37 by afrisch] Empty log message
Original author: afrisch Date: 2006-10-31 19:04:37+00:00
parent
b87fff80
Changes
1
Hide whitespace changes
Inline
Side-by-side
types/externals.mli
View file @
3dcb0d88
...
...
@@ -2,8 +2,8 @@ type ext_info
val
get
:
unit
->
ext_info
option
val
register
:
ref
(
bool
->
string
->
Types
.
Node
.
t
list
->
(
int
*
Types
.
t
))
val
ext_info
:
ref
(
unit
->
ext_info
)
val
register
:
(
bool
->
string
->
Types
.
Node
.
t
list
->
(
int
*
Types
.
t
))
ref
val
ext_info
:
(
unit
->
ext_info
)
ref
val
resolve
:
string
->
Types
.
Node
.
t
list
->
(
int
*
Types
.
t
)
val
typ
:
string
->
Types
.
Node
.
t
list
->
Types
.
t
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment