Module Symex.Value

type 'a t = 'a Rustsymex.Value.t
type 'a ty = 'a Rustsymex.Value.ty
val is_bool_ty : 'a ty -> bool
val not : sbool t -> sbool t
val ppa : Stdlib.Format.formatter -> 'a t -> unit
val sem_eq_untyped : 'a t -> 'b t -> sbool t
val mk_var : Soteria.Symex.Var.t -> 'a ty -> 'a t
val to_bool : 'a t -> bool option
val of_bool : bool -> sbool t
module Expr : sig ... end