Datatype (frama-c-wp.Wp.MemBytes.EID.Datatype)

type t = Frama_c_kernel.Datatype.Int.t Stdlib.ref

val ty : t Frama_c_kernel.Type.t

val name : string

val descr : t Frama_c_kernel.Descr.t

val packed_descr : Frama_c_kernel.Structural_descr.pack

val reprs : t list

val equal : t -> t -> bool

val compare : t -> t -> int

val hash : t -> int

val pretty : Stdlib.Format.formatter -> t -> unit

val mem_project : (Frama_c_kernel.Project_skeleton.t -> bool) -> t -> bool

val copy : t -> t