Module MemTyped.Layout

module Layout: sig .. end

type atom = 
| P of Cil_types.typ
| I of Ctypes.c_int
| F of Ctypes.c_float
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 = 
| Fit
| Equal
| Mismatch
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