Expr (soteria-rust.Soteria_rust_lib.State.Tree_state.Tree

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

val ty : t -> 'a Sptr.DecayMapMonad.Value.ty

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

module Subst : sig ... end