laws.bend fails
raw source on the hub · import 0x993b989cb899a5e5c6facb3d6fbccf8f/laws.bend as Laws
4 imports
import Base import bend-collections-laws-containers@1.0.0.0/laws_containers.bend as Containers import bend-collections-laws-math@1.0.0.0/laws_math.bend as Math import bend-collections-laws-crypto@1.0.0.0/laws_crypto.bend as Crypto
The reader could not load this file (at 0x5c489f5d9646d7cc9aa3dd8137e9dc07/proofs/containers/intrusive_doubly_linked_list/array_adapter.bend:18). What bend.ts says:
Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
17 | type Root is Data:
18>| Ready{}
| ^^^^^
19 | Waiting{}