spade_hir_lowering::linear_check

Module linear_state

Source

Structs§

LinearState
LinearTree 🔒

Enums§

ItemReference
LinearTreeKind 🔒
MutWireWitness
A witness for a type having a mut wire
UsageInfo

Functions§

build_linear_tree 🔒
is_linear

Type Aliases§

ConsumptionError