Namespace ControlFlow

This module provides an utility type ControlFlow<B, C>, which tells an operation whether it should exit early or go on.