Deploying to gh-pages from @ cc0ee8a 🚀

doc/flux_middle/rty/index.html

@@ -5,7 +5,7 @@
 <li>Types in this module use debruijn indices to represent local binders.</li>
 <li>Data structures are interned so they can be cheaply cloned.</li>
 </ul>
-</div></details><h2 id="reexports" class="section-header">Re-exports<a href="#reexports" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name" id="reexport.EVar"><code>pub use evars::<a class="struct" href="evars/struct.EVar.html" title="struct flux_middle::rty::evars::EVar">EVar</a>;</code></div></li><li><div class="item-name" id="reexport.EVarGen"><code>pub use evars::<a class="struct" href="evars/struct.EVarGen.html" title="struct flux_middle::rty::evars::EVarGen">EVarGen</a>;</code></div></li><li><div class="item-name" id="reexport.InferMode"><code>pub use crate::fhir::<a class="enum" href="../fhir/enum.InferMode.html" title="enum flux_middle::fhir::InferMode">InferMode</a>;</code></div></li><li><div class="item-name" id="reexport.AliasKind"><code>pub use crate::rustc::ty::<a class="enum" href="../rustc/ty/enum.AliasKind.html" title="enum flux_middle::rustc::ty::AliasKind">AliasKind</a>;</code></div></li><li><div class="item-name" id="reexport.BoundRegion"><code>pub use crate::rustc::ty::<a class="struct" href="../rustc/ty/struct.BoundRegion.html" title="struct flux_middle::rustc::ty::BoundRegion">BoundRegion</a>;</code></div></li><li><div class="item-name" id="reexport.Const"><code>pub use crate::rustc::ty::<a class="struct" href="../rustc/ty/struct.Const.html" title="struct flux_middle::rustc::ty::Const">Const</a>;</code></div></li><li><div class="item-name" id="reexport.ConstKind"><code>pub use crate::rustc::ty::<a class="enum" href="../rustc/ty/enum.ConstKind.html" title="enum flux_middle::rustc::ty::ConstKind">ConstKind</a>;</code></div></li><li><div class="item-name" id="reexport.FreeRegion"><code>pub use crate::rustc::ty::<a class="struct" href="../rustc/ty/struct.FreeRegion.html" title="struct flux_middle::rustc::ty::FreeRegion">FreeRegion</a>;</code></div></li><li><div class="item-name" id="reexport.OutlivesPredicate"><code>pub use crate::rustc::ty::<a class="struct" href="../rustc/ty/struct.OutlivesPredicate.html" title="struct flux_middle::rustc::ty::OutlivesPredicate">OutlivesPredicate</a>;</code></div></li><li><div class="item-name" id="reexport.Region"><code>pub use crate::rustc::ty::<a class="enum" href="../rustc/ty/enum.Region.html" title="enum flux_middle::rustc::ty::Region">Region</a>;</code></div></li><li><div class="item-name"><code>pub use <a class="enum" href="enum.SortInfer.html" title="enum flux_middle::rty::SortInfer">SortInfer</a>::*;</code></div></li><li><div class="item-name"><code>pub use crate::rustc::ty::<a class="enum" href="../rustc/ty/enum.Region.html" title="enum flux_middle::rustc::ty::Region">Region</a>::*;</code></div></li></ul><h2 id="modules" class="section-header">Modules<a href="#modules" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name"><a class="mod" href="canonicalize/index.html" title="mod flux_middle::rty::canonicalize">canonicalize</a></div><div class="desc docblock-short">A canonical type is a type where all <a href="enum.TyKind.html#variant.Exists" title="variant flux_middle::rty::TyKind::Exists">existentials</a> and <a href="enum.TyKind.html#variant.Constr" title="variant flux_middle::rty::TyKind::Constr">constraint predicates</a> are <em>hoisted</em> to
+</div></details><h2 id="reexports" class="section-header">Re-exports<a href="#reexports" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name" id="reexport.EVar"><code>pub use evars::<a class="struct" href="evars/struct.EVar.html" title="struct flux_middle::rty::evars::EVar">EVar</a>;</code></div></li><li><div class="item-name" id="reexport.EVarGen"><code>pub use evars::<a class="struct" href="evars/struct.EVarGen.html" title="struct flux_middle::rty::evars::EVarGen">EVarGen</a>;</code></div></li><li><div class="item-name" id="reexport.InferMode"><code>pub use crate::fhir::<a class="enum" href="../fhir/enum.InferMode.html" title="enum flux_middle::fhir::InferMode">InferMode</a>;</code></div></li><li><div class="item-name" id="reexport.AliasKind"><code>pub use crate::rustc::ty::<a class="enum" href="../rustc/ty/enum.AliasKind.html" title="enum flux_middle::rustc::ty::AliasKind">AliasKind</a>;</code></div></li><li><div class="item-name" id="reexport.BoundRegion"><code>pub use crate::rustc::ty::<a class="struct" href="../rustc/ty/struct.BoundRegion.html" title="struct flux_middle::rustc::ty::BoundRegion">BoundRegion</a>;</code></div></li><li><div class="item-name" id="reexport.Const"><code>pub use crate::rustc::ty::<a class="struct" href="../rustc/ty/struct.Const.html" title="struct flux_middle::rustc::ty::Const">Const</a>;</code></div></li><li><div class="item-name" id="reexport.ConstKind"><code>pub use crate::rustc::ty::<a class="enum" href="../rustc/ty/enum.ConstKind.html" title="enum flux_middle::rustc::ty::ConstKind">ConstKind</a>;</code></div></li><li><div class="item-name" id="reexport.LateParamRegion"><code>pub use crate::rustc::ty::<a class="struct" href="../rustc/ty/struct.LateParamRegion.html" title="struct flux_middle::rustc::ty::LateParamRegion">LateParamRegion</a>;</code></div></li><li><div class="item-name" id="reexport.OutlivesPredicate"><code>pub use crate::rustc::ty::<a class="struct" href="../rustc/ty/struct.OutlivesPredicate.html" title="struct flux_middle::rustc::ty::OutlivesPredicate">OutlivesPredicate</a>;</code></div></li><li><div class="item-name" id="reexport.Region"><code>pub use crate::rustc::ty::<a class="enum" href="../rustc/ty/enum.Region.html" title="enum flux_middle::rustc::ty::Region">Region</a>;</code></div></li><li><div class="item-name"><code>pub use <a class="enum" href="enum.SortInfer.html" title="enum flux_middle::rty::SortInfer">SortInfer</a>::*;</code></div></li><li><div class="item-name"><code>pub use crate::rustc::ty::<a class="enum" href="../rustc/ty/enum.Region.html" title="enum flux_middle::rustc::ty::Region">Region</a>::*;</code></div></li></ul><h2 id="modules" class="section-header">Modules<a href="#modules" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name"><a class="mod" href="canonicalize/index.html" title="mod flux_middle::rty::canonicalize">canonicalize</a></div><div class="desc docblock-short">A canonical type is a type where all <a href="enum.TyKind.html#variant.Exists" title="variant flux_middle::rty::TyKind::Exists">existentials</a> and <a href="enum.TyKind.html#variant.Constr" title="variant flux_middle::rty::TyKind::Constr">constraint predicates</a> are <em>hoisted</em> to
 the top level. For example, the canonical version of <code>∃a. {∃b. i32[a + b] | b &gt; 0}</code> is
 <code>∃a,b. {i32[a + b] | b &gt; 0}</code>.</div></li><li><div class="item-name"><a class="mod" href="evars/index.html" title="mod flux_middle::rty::evars">evars</a></div></li><li><div class="item-name"><a class="mod" href="expr/index.html" title="mod flux_middle::rty::expr">expr</a><span title="Restricted Visibility">&nbsp;🔒</span> </div></li><li><div class="item-name"><a class="mod" href="fold/index.html" title="mod flux_middle::rty::fold">fold</a></div><div class="desc docblock-short">This modules folows the implementation of folding in rustc. For more information read the
 documentation in <a href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/fold/index.html" title="mod rustc_middle::ty::fold"><code>rustc_middle::ty::fold</code></a>.</div></li><li><div class="item-name"><a class="mod" href="normalize/index.html" title="mod flux_middle::rty::normalize">normalize</a><span title="Restricted Visibility">&nbsp;🔒</span> </div></li><li><div class="item-name"><a class="mod" href="pretty/index.html" title="mod flux_middle::rty::pretty">pretty</a><span title="Restricted Visibility">&nbsp;🔒</span> </div></li><li><div class="item-name"><a class="mod" href="projections/index.html" title="mod flux_middle::rty::projections">projections</a></div></li><li><div class="item-name"><a class="mod" href="refining/index.html" title="mod flux_middle::rty::refining">refining</a></div><div class="desc docblock-short"><em>Refining</em> is the process of generating a refined version of a rust type.</div></li><li><div class="item-name"><a class="mod" href="subst/index.html" title="mod flux_middle::rty::subst">subst</a></div></li></ul><h2 id="macros" class="section-header">Macros<a href="#macros" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name"><a class="macro" href="macro.Bool.html" title="macro flux_middle::rty::Bool">Bool</a></div></li><li><div class="item-name"><a class="macro" href="macro.Int.html" title="macro flux_middle::rty::Int">Int</a></div></li><li><div class="item-name"><a class="macro" href="macro.Ref.html" title="macro flux_middle::rty::Ref">Ref</a></div></li><li><div class="item-name"><a class="macro" href="macro.Uint.html" title="macro flux_middle::rty::Uint">Uint</a></div></li></ul><h2 id="structs" class="section-header">Structs<a href="#structs" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name"><a class="struct" href="struct.AdtDef.html" title="struct flux_middle::rty::AdtDef">AdtDef</a></div></li><li><div class="item-name"><a class="struct" href="struct.AdtDefData.html" title="struct flux_middle::rty::AdtDefData">AdtDefData</a></div></li><li><div class="item-name"><a class="struct" href="struct.AdtFlags.html" title="struct flux_middle::rty::AdtFlags">AdtFlags</a></div></li><li><div class="item-name"><a class="struct" href="struct.AdtSortDef.html" title="struct flux_middle::rty::AdtSortDef">AdtSortDef</a></div></li><li><div class="item-name"><a class="struct" href="struct.AdtSortDefData.html" title="struct flux_middle::rty::AdtSortDefData">AdtSortDefData</a><span title="Restricted Visibility">&nbsp;🔒</span> </div></li><li><div class="item-name"><a class="struct" href="struct.AliasReft.html" title="struct flux_middle::rty::AliasReft">AliasReft</a></div></li><li><div class="item-name"><a class="struct" href="struct.AliasTy.html" title="struct flux_middle::rty::AliasTy">AliasTy</a></div></li><li><div class="item-name"><a class="struct" href="struct.AssocRefinement.html" title="struct flux_middle::rty::AssocRefinement">AssocRefinement</a></div></li><li><div class="item-name"><a class="struct" href="struct.AssocRefinements.html" title="struct flux_middle::rty::AssocRefinements">AssocRefinements</a></div></li><li><div class="item-name"><a class="struct" href="struct.Binder.html" title="struct flux_middle::rty::Binder">Binder</a></div></li><li><div class="item-name"><a class="struct" href="struct.BoundReft.html" title="struct flux_middle::rty::BoundReft">BoundReft</a></div></li><li><div class="item-name"><a class="struct" href="struct.BoundVar.html" title="struct flux_middle::rty::BoundVar">BoundVar</a></div></li><li><div class="item-name"><a class="struct" href="struct.Clause.html" title="struct flux_middle::rty::Clause">Clause</a></div></li><li><div class="item-name"><a class="struct" href="struct.ClosureOblig.html" title="struct flux_middle::rty::ClosureOblig">ClosureOblig</a></div></li><li><div class="item-name"><a class="struct" href="struct.CoroutineObligPredicate.html" title="struct flux_middle::rty::CoroutineObligPredicate">CoroutineObligPredicate</a></div></li><li><div class="item-name"><a class="struct" href="struct.ESpan.html" title="struct flux_middle::rty::ESpan">ESpan</a></div></li><li><div class="item-name"><a class="struct" href="struct.EarlyBinder.html" title="struct flux_middle::rty::EarlyBinder">EarlyBinder</a></div></li><li><div class="item-name"><a class="struct" href="struct.EarlyParamRegion.html" title="struct flux_middle::rty::EarlyParamRegion">EarlyParamRegion</a></div></li><li><div class="item-name"><a class="struct" href="struct.FnOutput.html" title="struct flux_middle::rty::FnOutput">FnOutput</a></div></li><li><div class="item-name"><a class="struct" href="struct.FnSig.html" title="struct flux_middle::rty::FnSig">FnSig</a></div></li><li><div class="item-name"><a class="struct" href="struct.FnTraitPredicate.html" title="struct flux_middle::rty::FnTraitPredicate">FnTraitPredicate</a></div></li><li><div class="item-name"><a class="struct" href="struct.FuncSort.html" title="struct flux_middle::rty::FuncSort">FuncSort</a></div></li><li><div class="item-name"><a class="struct" href="struct.GenericParamDef.html" title="struct flux_middle::rty::GenericParamDef">GenericParamDef</a></div></li><li><div class="item-name"><a class="struct" href="struct.GenericPredicates.html" title="struct flux_middle::rty::GenericPredicates">GenericPredicates</a></div></li><li><div class="item-name"><a class="struct" href="struct.Generics.html" title="struct flux_middle::rty::Generics">Generics</a></div></li><li><div class="item-name"><a class="struct" href="struct.Invariant.html" title="struct flux_middle::rty::Invariant">Invariant</a></div></li><li><div class="item-name"><a class="struct" href="struct.KVar.html" title="struct flux_middle::rty::KVar">KVar</a></div><div class="desc docblock-short">In theory a kvar is just an unknown predicate that can use some variables in scope. In practice,