Value.Expr
type t = Soteria.Bv_values.Bv_solver.Z3_solver.Value.Expr.t
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val of_value : 'a t -> t
val ty : t -> 'a ty
val subst : (t -> 'a t) -> t -> 'b t
module Subst : sig ... end