Module Soteria_c_lib.Aggregate_val

type 'v agv =
  1. | Basic of 'v
  2. | Struct of 'v agv list
  3. | Array of 'v agv list
type t = T.cval Typed.t agv
type syn = Expr.t agv
val to_syn : 'a Soteria__Bv_values__Typed.t agv -> Soteria_c_lib.Typed.Expr.t agv
val subst : (Expr.t -> 'a Soteria__Bv_values__Typed.t) -> Expr.t agv -> 'b Soteria__Bv_values__Typed.t agv
val pp_agv : (Stdlib.Format.formatter -> 'a -> unit) -> 'a agv Fmt.t
val pp : Stdlib.Format.formatter -> 'a Typed.t agv -> unit
val pp_syn : Stdlib.Format.formatter -> Soteria_c_lib.Typed.Expr.t agv -> unit
val int_z : int -> Z.t -> [> Soteria__Bv_values__Typed.T.sint ] Soteria__Bv_values__Typed.t agv
val int : int -> int -> [> Soteria__Bv_values__Typed.T.sint ] Soteria__Bv_values__Typed.t agv
val c_int : int -> [> Soteria__Bv_values__Typed.T.sint ] Soteria__Bv_values__Typed.t agv
val void : [> Soteria__Bv_values__Typed.T.zero ] Soteria__Bv_values__Typed.t agv
val null : [> Soteria__Bv_values__Typed.T.sptr ] Soteria__Bv_values__Typed.t agv
val basic_or_unsupported : msg:string -> 'a Typed.t agv -> 'a Typed.t Csymex.t