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
783bab71
Commit
783bab71
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-01-19 12:54:47 by afrisch] Export eval_apply
Original author: afrisch Date: 2004-01-19 12:54:47+00:00
parent
54b89ea0
Changes
1
Hide whitespace changes
Inline
Side-by-side
runtime/eval.mli
View file @
783bab71
...
...
@@ -11,5 +11,6 @@ val push: Value.t -> unit
val
var
:
var_loc
->
t
val
eval
:
code_item
->
unit
val
expr
:
code_item
->
t
val
eval_apply
:
t
->
t
->
t
val
comp_unit
:
t
list
->
code_item
list
->
t
array
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