Subst (soteria-c.Soteria_c_lib.Csymex.Tree

type t = CSYMEX.Value.Expr.Subst.t

val pp : Stdlib.Format.formatter -> t -> unit

val empty : t

val apply : 
  missing_var:(Soteria.Symex.Var.t -> 'a CSYMEX.Value.ty -> 'a CSYMEX.Value.t) ->
  t ->
  t ->
  'a CSYMEX.Value.t * t

val learn : t -> t -> 'a CSYMEX.Value.t -> t option