type Op
import bend-collections@1.0.0.0/src/containers/types/bitlist.bend as Bitlistimport Base
10# One public operation, for arbitrary finite operation traces.
11type Op is Data:
12 Length{}
13 Limit{}
14 Get{index: Nat}
15 Assign{index: Nat, value: Bool}
16 Push{value: Bool}
17 Pop{}
18 Clear{}
19 Count{}
20 ToList{}