Module Common.Alloc_kind

type t =
  1. | Heap
  2. | Function of Common.Fun_kind.t
  3. | VTable of Charon.Types.ty
  4. | Static of Charon.Types.global_decl_ref
  5. | StaticString
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string