Expr (soteria-c.Soteria_c_lib.Ctree

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 Soteria.Bv_values.Bv_solver.Z3_solver.Value.t -> t

val ty : t -> 'a Soteria.Bv_values.Bv_solver.Z3_solver.Value.ty

val subst : 
  (t -> 'a Soteria.Bv_values.Bv_solver.Z3_solver.Value.t) ->
  t ->
  'b Soteria.Bv_values.Bv_solver.Z3_solver.Value.t

module Subst : sig ... end