mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-20 11:28:58 +08:00
int32_of_bytes conversion function exported
This commit is contained in:
@@ -49,6 +49,10 @@ type message = {
|
||||
}
|
||||
(** Message specification *)
|
||||
|
||||
|
||||
external int32_of_bytes : string -> int -> int32 = "c_int32_of_indexed_bytes"
|
||||
(** [int32_of_bytes buffer offset] *)
|
||||
|
||||
val separator : string
|
||||
(** Separator in array values *)
|
||||
|
||||
|
||||
Reference in New Issue
Block a user