proofs/containers/intrusive_doubly_linked_list/example.bend fails

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

4 imports

import Base
import ../../../spec/containers/intrusive_doubly_linked_list/model.bend as G
import ./history.bend as H
import ./array_adapter.bend as A

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