fp::bottom
-- the function that
never returnsfp::bottom
()
never returns because it
raises an error.
fp::bottom()
This function never returns.
Raises an error in any case.
fp::bottom
never returns because it raises an
error.>> fp::bottom()
Error: bottom reached [fp::bottom]