List of all items

Structs

• StronglyConnectedComponents
• WyRand
• multiset::Multiset
• ordered_multiset::Multiset
• pbt::Algebraic
• pbt::CtorFn
• pbt::Decomposition
• pbt::ElimFn
• pbt::IndexedCtorFn
• pbt::IntroductionRule
• pbt::Literal
• reflection::AlgebraicTypeFormer
• reflection::CtorInfo
• reflection::CtorVertex
• reflection::ErasedBucketOps
• reflection::ErasedTermBucket
• reflection::ErasedTermBuckets
• reflection::Type
• reflection::TypeInfo
• reflection::Vertex
• search::Named
• sigma::Sigma
• size::Size
• size::Sizes

Enums

• cache::CachedTerm
• pbt::MaybeUninstantiable
• pbt::TypeFormer
• reflection::Erased
• reflection::PrecomputedTypeFormer

Traits

• pbt::Pbt
• sigma::Predicate

Macros

• arbitrary_nonzero_unsigned
• arbitrary_unsigned

Derive Macros

• Pbt

Functions

• cache::check_roundtrip
• cache::deserialize_term
• cache::deserialize_terms
• cache::load
• cache::serialize_decomposition
• cache::serialize_term
• cache::serialize_terms
• cache::store
• pbt::arbitrary
• pbt::check_eta_expansion
• pbt::push_arbitrary_field
• pbt::try_arbitrary
• pbt::visit_self
• pbt::visit_self_opt
• pbt::visit_self_owned
• reflection::_registry
• reflection::_sccs
• reflection::info
• reflection::info_by_id
• reflection::register
• reflection::try_info_by_id
• reflection::type_of
• search::assert
• search::assert_eq
• search::witness
• shrink::shrink

Type Aliases

• reflection::BucketOps
• reflection::Terms
• reflection::TermsOfVariousTypes

Constants

• SEED