List of all items
Structs
- ArgsOwnership
- BuiltinConstSubr
- QuantifiedType
- RefinementType
- SubrType
- UserConstSubr
- ValueArgs
- codeobj::CodeObj
- deserialize::DeserializeError
- deserialize::Deserializer
- free::Free
- value::GenTypeObj
Enums
- ConstSubr
- Ownership
- ParamTy
- Predicate
- RefineKind
- SubrKind
- TyBound
- Type
- TypeCode
- TypePair
- codeobj::CodeObjFlags
- free::Constraint
- free::Cyclicity
- free::FreeKind
- typaram::IntervalOp
- typaram::OpKind
- typaram::TyParam
- typaram::TyParamOrdering
- value::TypeKind
- value::TypeObj
- value::ValueObj
Traits
Macros
Functions
- codeobj::consts_into_bytes
- constructors::and
- constructors::anon
- constructors::array
- constructors::array_mut
- constructors::bin_op
- constructors::builtin_mono
- constructors::builtin_poly
- constructors::callable
- constructors::dict
- constructors::fn0_met
- constructors::fn1_met
- constructors::fn_met
- constructors::free_var
- constructors::func
- constructors::func0
- constructors::func1
- constructors::func2
- constructors::instance
- constructors::int_interval
- constructors::iter
- constructors::kind1
- constructors::kw
- constructors::kw_default
- constructors::module
- constructors::module_from_path
- constructors::mono
- constructors::mono_proj
- constructors::mono_q
- constructors::mono_q_tp
- constructors::mono_tp
- constructors::named_free_var
- constructors::nd_func
- constructors::nd_proc
- constructors::not
- constructors::or
- constructors::poly
- constructors::poly_q
- constructors::pr0_met
- constructors::pr1_met
- constructors::pr_met
- constructors::proc
- constructors::proc0
- constructors::proc1
- constructors::proc2
- constructors::quant
- constructors::range
- constructors::ref_
- constructors::ref_mut
- constructors::refinement
- constructors::set
- constructors::set_mut
- constructors::static_instance
- constructors::subr_t
- constructors::subtypeof
- constructors::tp_enum
- constructors::tuple
- constructors::ty_tp
- constructors::v_enum
- constructors::value
- free::fresh_param_name
- free::fresh_varname
- value::value_set::inner_class
- value::value_set::is_homogeneous
- value::value_set::max
- value::value_set::min