Expr (soteria-c.Soteria_c_lib.Csymex.Tree

type t = CSYMEX.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 CSYMEX.Value.t -> t

val ty : t -> 'a CSYMEX.Value.ty

val subst : (t -> 'a CSYMEX.Value.t) -> t -> 'b CSYMEX.Value.t

module Subst : sig ... end