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
06b9ab0e
Commit
06b9ab0e
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-04-04 08:40:26 by afrisch] Empty log message
Original author: afrisch Date: 2005-04-04 08:40:26+00:00
parent
8b9d5c99
Changes
2
Hide whitespace changes
Inline
Side-by-side
runtime/serial.ml
View file @
06b9ab0e
...
...
@@ -137,6 +137,8 @@ module G = struct
let
remove_label
chunk
i
v
=
Value
.
remove_field
(
LAB
.
get
(
fun
x
->
x
)
chunk
.
lab
i
)
v
let
get_field
chunk
i
v
=
Value
.
get_field
v
(
LAB
.
get
(
fun
x
->
x
)
chunk
.
lab
i
)
let
typ
chunk
i
=
T
.
get
(
fun
x
->
x
)
chunk
.
typ
i
...
...
runtime/serial.mli
View file @
06b9ab0e
...
...
@@ -19,6 +19,7 @@ module G : sig
val
pm
:
chunk
->
int
->
Value
.
t
->
int
*
Value
.
t
array
val
const
:
chunk
->
int
->
Value
.
t
val
remove_label
:
chunk
->
int
->
Value
.
t
->
Value
.
t
val
get_field
:
chunk
->
int
->
Value
.
t
->
Value
.
t
val
typ
:
chunk
->
int
->
Types
.
t
val
check
:
chunk
->
int
->
int
->
Value
.
t
->
Value
.
t
val
record
:
chunk
->
int
->
Value
.
t
array
->
Value
.
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