0x12ed1da2 checks

0x12ed1da25aa4f36622687d603aeb34e0

Deque: a double-ended queue, as a front list and a reversed back list.

Anonymous package: import it by hash.

Published

2026-09-21

Size

8,091 bytes, 1 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

9 laws (9 proved), 20 defs, 1 types

Import

import 0x12ed1da25aa4f36622687d603aeb34e0/deque.bend as Deque

Modules

• deque.bend 31 declarations, 9 laws — Deque: a double-ended queue, as a front list and a reversed back list.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36