Applying
mont_rect
Consider the type defined in
this file
. Define a predicate
is_January
which maps
January
to
True>
, and any other month to
False
. Firs, give your solution as an explicit application of
mont_rect
.
Solution
This file