hax_frontend_exporter::state

Trait Alias UnderOwnerState

source
trait UnderOwnerState<'tcx> = BaseState<'tcx> + HasOwnerId;
Expand description

State of anything below a owner_id.