Functions§
- canonical_
nominal_ 🔒name - has_
meta_ 🔒params - is_
runtime_ 🔒template - is_
type_ 🔒param - render_
type_ 🔒name - resolve_
local 🔒 - runtime_
params 🔒 - split_
variant_ 🔒path - ty_
to_ 🔒type_ expr - Infers generic type bindings by matching a type schema against a concrete type.
- type_
param_ 🔒names - variadic_
param_ 🔒name