packed_proof.bend fails

raw source on the hub · import 0xda83506fb9f059ead7afcfa2f498df5f/packed_proof.bend as Packed_proof

10 imports

import Base
import ./core.bend as Runtime
import ./legacy_model.bend as Legacy
import ./packed_array_proof.bend as A
import ./packed.bend as P
import ./packed_spec.bend as R
import ./core_model.bend as C
import ./fips.bend as F
import ./state.bend as S
import ./conformance.bend as Conformance

The reader could not load this file (at 0xda83506fb9f059ead7afcfa2f498df5f/core.bend:4). What bend.ts says:

Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,