bend-collections-laws

No release of this package is in the index.

Releases (1)

1.0.0.0 invalid

expected a fresh constructor name (duplicate declaration: Ready)

at bend-collections-laws-containers@1.0.0.0/proofs/containers/intrusive_doubly_linked_list/array_adapter.bend:18

laws.bend does not load

Definitions (0)

The index has no definition of this package.