Type Alias RefineArgs

pub type RefineArgs = List<Expr>;

Aliased Type

pub struct RefineArgs { /* private fields */ }

Trait Implementations

impl RefineArgsExt for RefineArgs

fn identity_for_item( genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<RefineArgs>

fn for_item<F>( genv: GlobalEnv<'_, '_>, def_id: DefId, mk: F, ) -> QueryResult<RefineArgs>

where F: FnMut(EarlyBinder<RefineParam>, usize) -> QueryResult<Expr>,