Module Cgil_lib.Chunk

type t =
  1. | Mint8signed
  2. | Mint8unsigned
  3. | Mint16signed
  4. | Mint16unsigned
  5. | Mint32
  6. | Mint64
  7. | Mfloat32
  8. | Mfloat64
  9. | Mptr
val equal : t -> t -> Ppx_deriving_runtime.bool
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val phy_equal : t -> t -> bool
val of_compcert : Compcert.AST.memory_chunk -> t
val to_compcert : t -> Compcert.AST.memory_chunk
val of_string : string -> t
val to_string : t -> string
val pp : Stdlib.Format.formatter -> t -> unit
val type_of : t -> Compcert.AST.typ
val size : t -> int
val size_expr : t -> Gillian.Gil_syntax.Expr.t
val align : t -> int
val ptr : t
val could_be_ptr : t -> bool