sig
  type un_t =
      C_uninit_esc of Cvalue.V.t
    | C_uninit_noesc of Cvalue.V.t
    | C_init_esc of Cvalue.V.t
    | C_init_noesc of Cvalue.V.t
  type tt = Cvalue.V_Or_Uninitialized.un_t
  val mask_init : int
  val mask_noesc : int
  val is_initialized : int -> bool
  val is_noesc : int -> bool
  val get_v : Cvalue.V_Or_Uninitialized.un_t -> Cvalue.V.t
  val get_flags : Cvalue.V_Or_Uninitialized.tt -> int
  val create : int -> Cvalue.V.t -> Cvalue.V_Or_Uninitialized.tt
  val project : Cvalue.V_Or_Uninitialized.un_t -> Cvalue.V.t
  type widen_hint = Cvalue.V.widen_hint
  val widen :
    Cvalue.V.widen_hint ->
    Cvalue.V_Or_Uninitialized.un_t ->
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val equal :
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt -> bool
  exception Error_Bottom
  exception Error_Top
  val join :
    Cvalue.V_Or_Uninitialized.tt ->
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val narrow :
    Cvalue.V_Or_Uninitialized.tt ->
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val link :
    Cvalue.V_Or_Uninitialized.tt ->
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val meet :
    Cvalue.V_Or_Uninitialized.tt ->
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val bottom : Cvalue.V_Or_Uninitialized.un_t
  val top : Cvalue.V_Or_Uninitialized.un_t
  val uninitialized : Cvalue.V_Or_Uninitialized.un_t
  val initialized : Cvalue.V.t -> Cvalue.V_Or_Uninitialized.un_t
  val escaping_addr : Cvalue.V_Or_Uninitialized.un_t
  val is_included :
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt -> bool
  val is_included_exn :
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt -> unit
  val intersects : '-> '-> 'c
  val pretty : Format.formatter -> Cvalue.V_Or_Uninitialized.tt -> unit
  val cardinal_zero_or_one : Cvalue.V_Or_Uninitialized.un_t -> bool
  val cardinal_less_than : Cvalue.V_Or_Uninitialized.un_t -> int -> int
  val tag : Cvalue.V_Or_Uninitialized.tt -> int
  type t = tt
  val ty : t Type.t
  val name : string
  val descr : t Descr.t
  val packed_descr : Structural_descr.pack
  val reprs : t list
  val equal : t -> t -> bool
  val compare : t -> t -> int
  val hash : t -> int
  val pretty_code : Format.formatter -> t -> unit
  val internal_pretty_code : Type.precedence -> Format.formatter -> t -> unit
  val pretty : Format.formatter -> t -> unit
  val varname : t -> string
  val mem_project : (Project_skeleton.t -> bool) -> t -> bool
  val copy : t -> t
  module Top_Param :
    sig
      module O :
        sig
          type elt = Base.t
          type t = Locations.Location_Bytes.Top_Param.O.t
          val ty : t Type.t
          val name : string
          val descr : t Descr.t
          val packed_descr : Structural_descr.pack
          val reprs : t list
          val equal : t -> t -> bool
          val compare : t -> t -> int
          val hash : t -> int
          val pretty_code : Format.formatter -> t -> unit
          val internal_pretty_code :
            Type.precedence -> Format.formatter -> t -> unit
          val pretty : Format.formatter -> t -> unit
          val varname : t -> string
          val mem_project : (Project_skeleton.t -> bool) -> t -> bool
          val copy : t -> t
          val empty : t
          val is_empty : t -> bool
          val mem : elt -> t -> bool
          val add : elt -> t -> t
          val singleton : elt -> t
          val remove : elt -> t -> t
          val elements : t -> elt list
          val union : t -> t -> t
          val inter : t -> t -> t
          val diff : t -> t -> t
          val subset : t -> t -> bool
          val iter : (elt -> unit) -> t -> unit
          val fold : (elt -> '-> 'a) -> t -> '-> 'a
          val for_all : (elt -> bool) -> t -> bool
          val exists : (elt -> bool) -> t -> bool
          val filter : (elt -> bool) -> t -> t
          val partition : (elt -> bool) -> t -> t * t
          val cardinal : t -> int
          val min_elt : t -> elt
          val max_elt : t -> elt
          val contains_single_elt : t -> elt option
          val choose : t -> elt
          val split : elt -> t -> t * bool * t
        end
      type tt = V.Top_Param.tt = private Set of O.t | Top
      exception Error_Top
      exception Error_Bottom
      type t = tt
      val ty : t Type.t
      val name : string
      val descr : t Descr.t
      val packed_descr : Structural_descr.pack
      val reprs : t list
      val equal : t -> t -> bool
      val compare : t -> t -> int
      val hash : t -> int
      val pretty_code : Format.formatter -> t -> unit
      val internal_pretty_code :
        Type.precedence -> Format.formatter -> t -> unit
      val pretty : Format.formatter -> t -> unit
      val varname : t -> string
      val mem_project : (Project_skeleton.t -> bool) -> t -> bool
      val copy : t -> t
      type widen_hint = O.t
      val join : t -> t -> t
      val link : t -> t -> t
      val meet : t -> t -> t
      val narrow : t -> t -> t
      val bottom : t
      val top : t
      val is_included : t -> t -> bool
      val is_included_exn : t -> t -> unit
      val intersects : t -> t -> bool
      val widen : widen_hint -> t -> t -> t
      val cardinal_zero_or_one : t -> bool
      val cardinal_less_than : t -> int -> int
      val tag : t -> int
      val inject_singleton : O.elt -> t
      val inject : O.t -> t
      val empty : t
      val apply2 : (O.elt -> O.elt -> O.elt) -> t -> t -> t
      val apply1 : (O.elt -> O.elt) -> t -> t
      val fold : (O.elt -> '-> 'a) -> t -> '-> 'a
      val iter : (O.elt -> unit) -> t -> unit
      val project : t -> O.t
      val mem : O.elt -> t -> bool
    end
  val is_isotropic : Cvalue.V_Or_Uninitialized.un_t -> bool
  val cast :
    with_alarms:CilE.warn_mode ->
    size:Abstract_interp.Int.t ->
    signed:bool ->
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val extract_bits :
    start:Abstract_interp.Int.t ->
    stop:Abstract_interp.Int.t ->
    Cvalue.V_Or_Uninitialized.tt -> bool * Cvalue.V_Or_Uninitialized.tt
  val little_endian_merge_bits :
    conflate_bottom:bool ->
    total_length:int ->
    value:Cvalue.V_Or_Uninitialized.tt ->
    offset:Abstract_interp.Int.t ->
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val big_endian_merge_bits :
    conflate_bottom:bool ->
    total_length:int ->
    length:My_bigint.t ->
    value:Cvalue.V_Or_Uninitialized.tt ->
    offset:My_bigint.t ->
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val topify_merge_origin :
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val topify_arith_origin :
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val topify_misaligned_read_origin :
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val topify_with_origin :
    Origin.t -> Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val anisotropic_cast :
    size:Abstract_interp.Int.t ->
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val inject_top_origin :
    Origin.t -> Cvalue.V.Top_Param.O.t -> Cvalue.V_Or_Uninitialized.un_t
  val under_topify :
    Cvalue.V_Or_Uninitialized.tt -> Cvalue.V_Or_Uninitialized.tt
  val of_char : char -> Cvalue.V_Or_Uninitialized.un_t
  val of_int64 : int64 -> Cvalue.V_Or_Uninitialized.un_t
  val singleton_zero : Cvalue.V_Or_Uninitialized.un_t
  val unspecify_escaping_locals :
    (Cvalue.V.M.key -> bool) ->
    Cvalue.V_Or_Uninitialized.tt ->
    Cvalue.V.Top_Param.t * Cvalue.V_Or_Uninitialized.tt
  val change_initialized :
    bool -> Cvalue.V_Or_Uninitialized.un_t -> Cvalue.V_Or_Uninitialized.un_t
  val pretty_c_assert :
    (unit -> unit) ->
    string ->
    int -> Format.formatter -> Cvalue.V_Or_Uninitialized.un_t -> unit
end