Struct Tables

pub struct Tables<K: Eq + Hash> {

    pub(crate) generics_of: UnordMap<K, QueryResult<Generics>>,
    pub(crate) refinement_generics_of: UnordMap<K, QueryResult<EarlyBinder<RefinementGenerics>>>,
    pub(crate) predicates_of: UnordMap<K, QueryResult<EarlyBinder<GenericPredicates>>>,
    pub(crate) item_bounds: UnordMap<K, QueryResult<EarlyBinder<Clauses>>>,
    pub(crate) assoc_refinements_of: UnordMap<K, QueryResult<AssocRefinements>>,
    pub(crate) assoc_refinements_def: UnordMap<FluxId<K>, QueryResult<EarlyBinder<Lambda>>>,
    pub(crate) default_assoc_refinements_def: UnordMap<FluxId<K>, QueryResult<Option<EarlyBinder<Lambda>>>>,
    pub(crate) sort_of_assoc_reft: UnordMap<FluxId<K>, QueryResult<EarlyBinder<FuncSort>>>,
    pub(crate) fn_sig: UnordMap<K, QueryResult<EarlyBinder<PolyFnSig>>>,
    pub(crate) adt_def: UnordMap<K, QueryResult<AdtDef>>,
    pub(crate) constant_info: UnordMap<K, QueryResult<ConstantInfo>>,
    pub(crate) adt_sort_def: UnordMap<K, QueryResult<AdtSortDef>>,
    pub(crate) variants: UnordMap<K, QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>>,
    pub(crate) type_of: UnordMap<K, QueryResult<EarlyBinder<TyOrCtor>>>,
    pub(crate) normalized_defns: Rc<NormalizedDefns>,
}

Fields

generics_of: UnordMap<K, QueryResult<Generics>>

refinement_generics_of: UnordMap<K, QueryResult<EarlyBinder<RefinementGenerics>>>

predicates_of: UnordMap<K, QueryResult<EarlyBinder<GenericPredicates>>>

item_bounds: UnordMap<K, QueryResult<EarlyBinder<Clauses>>>

assoc_refinements_of: UnordMap<K, QueryResult<AssocRefinements>>

assoc_refinements_def: UnordMap<FluxId<K>, QueryResult<EarlyBinder<Lambda>>>

default_assoc_refinements_def: UnordMap<FluxId<K>, QueryResult<Option<EarlyBinder<Lambda>>>>

sort_of_assoc_reft: UnordMap<FluxId<K>, QueryResult<EarlyBinder<FuncSort>>>

fn_sig: UnordMap<K, QueryResult<EarlyBinder<PolyFnSig>>>

adt_def: UnordMap<K, QueryResult<AdtDef>>

constant_info: UnordMap<K, QueryResult<ConstantInfo>>

adt_sort_def: UnordMap<K, QueryResult<AdtSortDef>>

variants: UnordMap<K, QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>>

type_of: UnordMap<K, QueryResult<EarlyBinder<TyOrCtor>>>

normalized_defns: Rc<NormalizedDefns>

Trait Implementations

impl<K: Eq + Hash, __D: TyDecoder> Decodable<__D> for Tables<K>

where UnordMap<K, QueryResult<Generics>>: Decodable<__D>, UnordMap<K, QueryResult<EarlyBinder<RefinementGenerics>>>: Decodable<__D>, UnordMap<K, QueryResult<EarlyBinder<GenericPredicates>>>: Decodable<__D>, UnordMap<K, QueryResult<EarlyBinder<Clauses>>>: Decodable<__D>, UnordMap<K, QueryResult<AssocRefinements>>: Decodable<__D>, UnordMap<FluxId<K>, QueryResult<EarlyBinder<Lambda>>>: Decodable<__D>, UnordMap<FluxId<K>, QueryResult<Option<EarlyBinder<Lambda>>>>: Decodable<__D>, UnordMap<FluxId<K>, QueryResult<EarlyBinder<FuncSort>>>: Decodable<__D>, UnordMap<K, QueryResult<EarlyBinder<PolyFnSig>>>: Decodable<__D>, UnordMap<K, QueryResult<AdtDef>>: Decodable<__D>, UnordMap<K, QueryResult<ConstantInfo>>: Decodable<__D>, UnordMap<K, QueryResult<AdtSortDef>>: Decodable<__D>, UnordMap<K, QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>>: Decodable<__D>, UnordMap<K, QueryResult<EarlyBinder<TyOrCtor>>>: Decodable<__D>,

fn decode(__decoder: &mut __D) -> Self

impl<K: Eq + Hash> Default for Tables<K>

fn default() -> Self

Returns the “default value” for a type.

impl<K: Eq + Hash, __E: TyEncoder> Encodable<__E> for Tables<K>

where UnordMap<K, QueryResult<Generics>>: Encodable<__E>, UnordMap<K, QueryResult<EarlyBinder<RefinementGenerics>>>: Encodable<__E>, UnordMap<K, QueryResult<EarlyBinder<GenericPredicates>>>: Encodable<__E>, UnordMap<K, QueryResult<EarlyBinder<Clauses>>>: Encodable<__E>, UnordMap<K, QueryResult<AssocRefinements>>: Encodable<__E>, UnordMap<FluxId<K>, QueryResult<EarlyBinder<Lambda>>>: Encodable<__E>, UnordMap<FluxId<K>, QueryResult<Option<EarlyBinder<Lambda>>>>: Encodable<__E>, UnordMap<FluxId<K>, QueryResult<EarlyBinder<FuncSort>>>: Encodable<__E>, UnordMap<K, QueryResult<EarlyBinder<PolyFnSig>>>: Encodable<__E>, UnordMap<K, QueryResult<AdtDef>>: Encodable<__E>, UnordMap<K, QueryResult<ConstantInfo>>: Encodable<__E>, UnordMap<K, QueryResult<AdtSortDef>>: Encodable<__E>, UnordMap<K, QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>>: Encodable<__E>, UnordMap<K, QueryResult<EarlyBinder<TyOrCtor>>>: Encodable<__E>,

fn encode(&self, __encoder: &mut __E)