std/type
Import with import std/type.
Exports
Section titled “Exports”Types
type Type
Section titled “type Type”type Type<'T>
Opaque witness for a Nomi type.
A type name can be used as a Type<'T> value only when the expected type
asks for a witness. This keeps zero-sized values and constructors intact
while still allowing typed APIs such as Context.value(context, TraceId).
Type.inspect
Section titled “Type.inspect”impl Debug
fn inspect<'T>(value: Type<'T>): String where 'T: Debug
impl Debug.inspect