array_utils Tutorial

Use this page as the starting point for practical workflows around this module. array_utils in Luna-Flow/luna-utils.

Suggested Flow

1. Read the repository README and the array_utils API reference.
2. Start from the constructors or entry points under src/array_utils.mbt.
3. Validate behavior with the existing tests or examples before depending on edge-case semantics.

Practical Guidance

• Prefer the documented entry points over internal helpers.
• Record runtime, numeric, or proof-state assumptions explicitly in downstream code.