bend-collections-laws-containers

Releases (1):
  1.0.0.0  0x5c489f5d9646d7cc9aa3dd8137e9dc07  invalid  https://jend.leeeet.dev/files.txt?path=bend-collections-laws-containers@1.0.0.0
   expected a fresh constructor name (duplicate declaration: Ready)
   At https://jend.leeeet.dev/read.txt?path=bend-collections-laws-containers@1.0.0.0/proofs/containers/intrusive_doubly_linked_list/array_adapter.bend&start_line=18.
   Files that do not load: laws_containers.bend, proofs/PROOF.bend, proofs/containers/intrusive_doubly_linked_list/array_adapter.bend, proofs/containers/intrusive_doubly_linked_list/example.bend, proofs/containers/intrusive_doubly_linked_list/proof.bend.

Definitions (0):