proofs/PROOF.bend fails

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

12 imports

import Base
import ./containers/intrusive_doubly_linked_list/proof.bend as IntrusiveList
import ./containers/dlist_iterator/proof.bend as IteratorComponents
import ./containers/balanced_search_tree/components.bend as TreeMapComponents
import ./END_TO_END.bend as End
import ./lib/lemmas/proofs/public_trace.bend as LruTrace
import ./math/proof.bend as Math
import ./containers/hash_table/proof.bend as HashTable
import ./containers/lru/proof.bend as Lru
import ./containers/doubly_linked_list/proof.bend as Dll
import ./containers/balanced_search_tree/proof.bend as TreeMap
import ./containers/bitlist/proof.bend as Bitlist

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