State_tys (soteria-rust.Soteria_rust_lib.Value_codec.Decoder.State

module SM : 
  Soteria.Sym_states.State_monad.S
    with type 'a Symex.t = 'a DecayMapMonad.t
     and type 'a Symex.Value.t = 'a Typed.t
     and type 'a Symex.Value.ty = 'a Typed.ty
     and type Symex.Value.sbool = Typed.sbool

type fix