PROOF.bend fails

raw source on the hub · import 0xce7bfa94c40ded8493cdb39d330add0c/PROOF.bend as PROOF

4 imports

import Base
import ./LAWS.bend as L
import ./main.bend as S
import ./model.bend as M

The reader could not load this file (at 0xce7bfa94c40ded8493cdb39d330add0c/main.bend:24). What bend.ts says:

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 |   Evaluating{}
24>|   Ready{value: T}
   |   ^^^^^
25 |   Failed{error: E}