proofs/containers/intrusive_doubly_linked_list/proof.bend fails

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

14 imports

import Base
import ./writes.bend as Writes
import ../../../spec/containers/intrusive_doubly_linked_list/model.bend as Graph
import ./shape.bend as Shape
import ./edits.bend as Edits
import ./adapter.bend as Adapter
import ./history.bend as History
import ./array_adapter.bend as ArrayAdapter
import ./links.bend as Links
import ./frames.bend as Frames
import ./example.bend as Example
import ./costs.bend as Costs
import ../../../spec/containers/intrusive_doubly_linked_list/main.bend as Contract
import ../../../spec/containers/intrusive_doubly_linked_list/model.bend as G

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