Structs§
Functions§
- max_
universe - The largest universe a variable or placeholder was from in
t - max_
universe_ 🔒inner - max_
universe_ of_ infer_ vars - The largest universe a variable was from in
t - max_
universe_ of_ placeholders - The largest universe a placeholder was from in
t