1. 11
  1.  

  2. 1

    The author seems to be creating a typed 2-tuple Integer i, NaturalNumber mod, and then implementing an equality function on these tuples. Am I missing something?