/usr/lib/ocaml/atdgen/ag_biniou.ml is in libatdgen-ocaml-dev 1.3.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 | (*
Mapping from ATD to biniou
*)
type biniou_int =
[ `Svint | `Uvint | `Int8 | `Int16 | `Int32 | `Int64 ]
type biniou_float = [ `Float32 | `Float64 ]
type biniou_list = [ `Array | `Table ]
type biniou_field = { biniou_unwrapped : bool }
type biniou_repr =
[
| `Unit
| `Bool
| `Int of biniou_int
| `Float of biniou_float
| `String
| `Sum
| `Record
| `Tuple
| `List of biniou_list
| `Option
| `Nullable
| `Shared
| `Wrap
| `External
| `Cell
| `Field of biniou_field
| `Variant
| `Def
]
let biniou_int_of_string s : biniou_int option =
match s with
"svint" -> Some `Svint
| "uvint" -> Some `Uvint
| "int8" -> Some `Int8
| "int16" -> Some `Int16
| "int32" -> Some `Int32
| "int64" -> Some `Int64
| _ -> None
let biniou_float_of_string s : biniou_float option =
match s with
"float32" -> Some `Float32
| "float64" -> Some `Float64
| _ -> None
let biniou_list_of_string s : biniou_list option =
match s with
"array" -> Some `Array
| "table" -> Some `Table
| _ -> None
let get_biniou_int an =
Atd_annot.get_field biniou_int_of_string `Svint ["biniou"] "repr" an
let get_biniou_float an =
Atd_annot.get_field biniou_float_of_string `Float64 ["biniou"] "repr" an
let get_biniou_list an =
Atd_annot.get_field biniou_list_of_string `Array ["biniou"] "repr" an
|