Module With_return

module With_return: sig .. end

include Core_kernel.With_return