mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-23 21:36:28 +08:00
int -> int32
This commit is contained in:
@@ -172,7 +172,7 @@ let int_assoc = fun (a:string) vs ->
|
||||
|
||||
let int32_assoc = fun (a:string) vs ->
|
||||
match assoc a vs with
|
||||
Int32 x -> int_of_string (string_of_value (Int32 x))
|
||||
Int32 x -> x
|
||||
| _ -> invalid_arg "Pprz.int_assoc"
|
||||
|
||||
let string_assoc = fun (a:string) (vs:values) -> string_of_value (assoc a vs)
|
||||
|
||||
@@ -63,7 +63,7 @@ val string_assoc : string -> values -> string
|
||||
|
||||
val float_assoc : string -> values -> float
|
||||
val int_assoc : string -> values -> int
|
||||
val int32_assoc : string -> values -> int
|
||||
val int32_assoc : string -> values -> Int32.t
|
||||
(** May raise Not_found or Invalid_argument *)
|
||||
|
||||
exception Unknown_msg_name of string * string
|
||||
|
||||
Reference in New Issue
Block a user