module Layout: sig
.. end
type
atom =
val pp_atom : Format.formatter -> atom -> unit
val eqatom : atom -> atom -> bool
type
block =
| |
Str of atom * int |
| |
Arr of layout * int |
| |
Garbled |
type
layout = block list
val pp_block : Format.formatter -> block -> unit
val pp_layout : Format.formatter -> layout -> unit
val add_atom : atom ->
block list -> block list
val add_block : block ->
block list -> block list
val add_many : layout ->
int -> block list -> block list
val rlayout : block list -> Ctypes.c_object -> block list
val flayout : block list ->
Cil_types.fieldinfo -> block list
val layout : Ctypes.c_object -> layout
type
comparison =
val add_array : layout ->
int -> block list -> block list
val compare : layout ->
layout -> comparison
val fits : Ctypes.c_object -> Ctypes.c_object -> bool
val pretty : Format.formatter -> Ctypes.c_object -> unit