def Levels

stelliferous@0.0.2.0 · tensor_cursor.bend:66

import stelliferous@0.0.2.0/tensor_cursor.bend as TensorCursor

import Base

66def Levels() -> Data:
67  Level<Depth1()>

Uses (2)

stelliferous@0.0.2.0/tensor_cursor:Level
stelliferous@0.0.2.0/tensor_cursor:Depth1

Used by (7)

stelliferous@0.0.2.0/tensor_cursor:Cursor
stelliferous@0.0.2.0/tensor_cursor:advance
stelliferous@0.0.2.0/tensor_cursor:read_value
stelliferous@0.0.2.0/proofs/tensor_cursor_witness:read_value
stelliferous@0.0.2.0/tensor_cursor:advance_levels
…