Trait Alias hax_frontend_exporter::state::BaseState

trait BaseState<'tcx> = HasBase<'tcx>
    + Clone
    + IsState<'tcx>;