I (soteria-rust.Soteria_rust_lib.State.Tree

type t

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

val show : t -> Ppx_deriving_runtime.string

module SM : sig ... end

type syn

val pp_syn : 
  Ppx_deriving_runtime.Format.formatter ->
  syn ->
  Ppx_deriving_runtime.unit

val show_syn : syn -> Ppx_deriving_runtime.string

val to_syn : t -> syn list

val ins_outs : 
  syn ->
  DecayMapMonad.Value.Expr.t list * DecayMapMonad.Value.Expr.t list

val produce : syn -> t option -> t option DecayMapMonad.Producer.t

val consume : syn -> t option -> (t option, syn list) DecayMapMonad.Consumer.t

val assert_exclusively_owned : 
  t option ->
  (unit, 'err, syn list) DecayMapMonad.Result.t