bend-collections-laws

Releases (1):
  1.0.0.0  0x993b989cb899a5e5c6facb3d6fbccf8f  invalid  https://jend.leeeet.dev/files.txt?path=bend-collections-laws@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.bend.

Definitions (0):