Decoder (soteria-rust.Soteria_rust_lib.State.Tree

type nonrec rust_val = Sptr.t Rust_val.t

module ParserMonad : sig ... end

val variant_of_enum : 
  offset:[< Soteria__Bv_values__Typed.T.sint ] Soteria__Bv_values__Typed.t ->
  Charon.Types.ty ->
  Charon.Types.variant_id ParserMonad.t

val decode : 
  meta:
    ([< Soteria__Bv_values__Typed.T.any ] Soteria__Bv_values__Typed.t, 'a)
      Rust_val.meta_raw ->
  offset:Soteria_rust_lib.Typed.T.sint Typed.t ->
  Charon.Types.ty ->
  rust_val ParserMonad.t