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