type Op

bend-collections@1.0.0.0 · src/containers/types/dynamic_array.bend:10

import Base

10# One public operation, for arbitrary finite operation traces.
11type Op<-T: Data> is Data:
12  Length{}
13  Capacity{}
14  Get{index: Nat}
15  Set{index: Nat, value: T}
16  Push{value: T}
17  Pop{}
18  Reserve{wanted: Nat}
19  Clear{}
20  ToList{}