let
before s ~n =
if
n = min_int
then
empty
else
until s ~n:(n - 1)