laws_containers.bend fails

raw source on the hub · import bend-collections-laws-containers@1.0.0.0/laws_containers.bend as Laws_containers

25 imports

import Base
import ./proofs/END_TO_END.bend as ENDTOEND
import ./proofs/PROOF.bend as PROOF
import ./proofs/containers/balanced_search_tree/components.bend as ContainersBalancedSearchTreeComponents
import ./proofs/containers/balanced_search_tree/proof.bend as ContainersBalancedSearchTreeProof
import ./proofs/containers/balanced_search_tree/range.bend as ContainersBalancedSearchTreeRange
import ./proofs/containers/bitlist/proof.bend as ContainersBitlistProof
import ./proofs/containers/bitset/proof.bend as ContainersBitsetProof
import ./proofs/containers/deque/proof.bend as ContainersDequeProof
import ./proofs/containers/dlist_iterator/proof.bend as ContainersDlistIteratorProof
import ./proofs/containers/doubly_linked_list/direct_laws.bend as ContainersDoublyLinkedListDirectLaws
import ./proofs/containers/doubly_linked_list/proof.bend as ContainersDoublyLinkedListProof
import ./proofs/containers/dynamic_array/proof.bend as ContainersDynamicArrayProof
import ./proofs/containers/hash_table/proof.bend as ContainersHashTableProof
import ./proofs/containers/intrusive_doubly_linked_list/proof.bend as ContainersIntrusiveDoublyLinkedListProof
import ./proofs/containers/lru/proof.bend as ContainersLruProof
import ./proofs/containers/priority_queue/proof.bend as ContainersPriorityQueueProof
import ./proofs/containers/simple_queue/proof.bend as ContainersSimpleQueueProof
import ./proofs/containers/stack/components.bend as ContainersStackComponents
import ./proofs/lib/array2.bend as LibArray2
import ./proofs/lib/flat.bend as LibFlat
import ./proofs/lib/lemmas/proofs/public_trace.bend as LibLemmasPublicTrace
import ./proofs/lib/u32seq.bend as LibU32seq
import ./proofs/lib/vec.bend as LibVec
import ./spec/containers/balanced_search_tree/recursive.bend as SpecContainersBalancedSearchTreeRecursive

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{}