Struct WfckResults 

pub struct WfckResults {
    pub owner: FluxOwnerId,
    param_sorts: UnordMap<ParamId, Sort>,
    bin_op_sorts: ItemLocalMap<Sort>,
    fn_app_sorts: ItemLocalMap<List<SortArg>>,
    coercions: ItemLocalMap<Vec<Coercion>>,
    field_projs: ItemLocalMap<FieldProj>,
    node_sorts: ItemLocalMap<Sort>,
    record_ctors: ItemLocalMap<DefId>,
}

Fields

owner: FluxOwnerId

param_sorts: UnordMap<ParamId, Sort>

bin_op_sorts: ItemLocalMap<Sort>

fn_app_sorts: ItemLocalMap<List<SortArg>>

coercions: ItemLocalMap<Vec<Coercion>>

field_projs: ItemLocalMap<FieldProj>

node_sorts: ItemLocalMap<Sort>

record_ctors: ItemLocalMap<DefId>

Implementations

impl WfckResults

pub fn new(owner: impl Into<FluxOwnerId>) -> Self

pub fn param_sorts_mut(&mut self) -> &mut UnordMap<ParamId, Sort>

pub fn param_sorts(&self) -> &UnordMap<ParamId, Sort>

pub fn bin_op_sorts_mut(&mut self) -> LocalTableInContextMut<'_, Sort>

pub fn fn_app_sorts_mut(&mut self) -> LocalTableInContextMut<'_, List<SortArg>>

pub fn fn_app_sorts(&self) -> LocalTableInContext<'_, List<SortArg>>

pub fn bin_op_sorts(&self) -> LocalTableInContext<'_, Sort>

pub fn coercions_mut(&mut self) -> LocalTableInContextMut<'_, Vec<Coercion>>

pub fn coercions(&self) -> LocalTableInContext<'_, Vec<Coercion>>

pub fn field_projs_mut(&mut self) -> LocalTableInContextMut<'_, FieldProj>

pub fn field_projs(&self) -> LocalTableInContext<'_, FieldProj>

pub fn node_sorts_mut(&mut self) -> LocalTableInContextMut<'_, Sort>

pub fn node_sorts(&self) -> LocalTableInContext<'_, Sort>

pub fn record_ctors_mut(&mut self) -> LocalTableInContextMut<'_, DefId>

pub fn record_ctors(&self) -> LocalTableInContext<'_, DefId>