hax_frontend_exporter

Type Alias PolyFnSig

source 
pub type PolyFnSig = Binder<TyFnSig>;
Expand description

Reflects rustc_middle::ty::PolyFnSig

Aliased Type§

struct PolyFnSig {
    pub value: TyFnSig,
    pub bound_vars: Vec<BoundVariableKind>,
}

Fields§

§value: TyFnSig§bound_vars: Vec<BoundVariableKind>