Definition by cases

Write a function of type nat->bool which returns true iff its argument is less than three.


This file


We wrote this function as a multiple case analysis. It is easy to see (by printing its definition) that this is an abbreviation of a nested case analysis.

Going home
Pierre Castéran