hax_frontend_exporter::state

Type Alias StateWithBinder

source
pub type StateWithBinder<'tcx> = State<Base<'tcx>, (), (), DefId, UnitBinder<'tcx>>;

Aliased Type§

struct StateWithBinder<'tcx> {
    pub base: Base<'tcx>,
    pub thir: (),
    pub mir: (),
    pub owner_id: DefId,
    pub binder: Binder<TyCtxt<'tcx>, ()>,
}

Fields§

§base: Base<'tcx>§thir: ()§mir: ()§owner_id: DefId§binder: Binder<TyCtxt<'tcx>, ()>