Struct bytecode::mono_analysis::MonoInfo
source · pub struct MonoInfo {
pub structs: BTreeMap<QualifiedId<StructId>, BTreeSet<Vec<Type>>>,
pub funs: BTreeMap<QualifiedId<FunId>, BTreeSet<Vec<Type>>>,
pub spec_funs: BTreeMap<QualifiedId<SpecFunId>, BTreeSet<Vec<Type>>>,
pub spec_vars: BTreeMap<QualifiedId<SpecVarId>, BTreeSet<Vec<Type>>>,
pub type_params: BTreeSet<u16>,
pub vec_inst: BTreeSet<Type>,
pub native_inst: BTreeMap<ModuleId, BTreeSet<Vec<Type>>>,
pub axioms: Vec<Condition>,
}
Expand description
The environment extension computed by this analysis.
Fields§
§structs: BTreeMap<QualifiedId<StructId>, BTreeSet<Vec<Type>>>
§funs: BTreeMap<QualifiedId<FunId>, BTreeSet<Vec<Type>>>
§spec_funs: BTreeMap<QualifiedId<SpecFunId>, BTreeSet<Vec<Type>>>
§spec_vars: BTreeMap<QualifiedId<SpecVarId>, BTreeSet<Vec<Type>>>
§type_params: BTreeSet<u16>
§vec_inst: BTreeSet<Type>
§native_inst: BTreeMap<ModuleId, BTreeSet<Vec<Type>>>
§axioms: Vec<Condition>