diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-01-05 14:04:06 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-01-05 14:04:06 +0000 |
| commit | 783e5aa1778d570d8e26a248b3e8ae239a7ebc8e (patch) | |
| tree | 324ea54c813b9949bc2db0590c62e461420dba01 /debugger/debugcom.mli | |
| parent | 1bdcdbdbc65454b59faf52987c4c7aaeb2f02122 (diff) | |
| download | ocaml-783e5aa1778d570d8e26a248b3e8ae239a7ebc8e.tar.gz | |
Suite du portage: impression des valeurs, etc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1237 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/debugcom.mli')
| -rw-r--r-- | debugger/debugcom.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debugger/debugcom.mli b/debugger/debugcom.mli index 79d4d14dc2..dd33ef2b7c 100644 --- a/debugger/debugcom.mli +++ b/debugger/debugcom.mli @@ -78,6 +78,7 @@ val set_trap_barrier : int -> unit type remote_value val remote_value_is_int : remote_value -> bool val int_value : remote_value -> int +val value_int : int -> remote_value val get_local : int -> remote_value val get_environment : int -> remote_value val get_global : int -> remote_value |