def sorted

import bend-osdev-algo@0.1.0.0/check.bend as Check

import Base

33def sorted() -> List<&2, U32>:
34  [2, 3, 5, 7, 11, 13, 17, 19]

Uses (2)