type Swapped

stelliferous@0.0.2.0 · proofs/storage_witness.bend:70

import Base

70type Swapped<-Element: Data,-depth: Nat,-result: Array<Element> & Element> is Data:
71  Swapped{-storage: Array<Element>,-previous: Element,
72    equation: {result == (storage,previous) : Array<Element> & Element},balanced: Witness(Element,depth,storage)}