Rustsymex.MonadState
type t = {
trace : Trace.t;
subst : Charon.Substitute.subst;
generic_layouts : Layout_common.t TypeMap.t;
}
val empty : t