This repository was archived by the owner on Aug 4, 2023. It is now read-only.
This repository was archived by the owner on Aug 4, 2023. It is now read-only.
safeSucc, safePred should be renamed #27
Description
because safeSucc and safePred throws an exception, it's not safe...
they should be renamed to succOrThrow and predOrThrow, or else.