Welcome to DrScheme, version 209.
Language: ProfessorJ: Intermediate.
> Examples e = new Examples();
> e
Examples(
   b1 = Book(
           author = "MF",
           year = 2001,
           price = 60),
   b2 = Book(
           author = "EX",
           year = 1942,
           price = 15),
   b3 = Book(
           author = "JL",
           year = 1900,
           price = 8),
   b4 = Book(
           author = "MF",
           year = 1998,
           price = 15),
   mtlist = MTLoB(),
   list1 = ConsLoB(
              first = Book(
                         author = "MF",
                         year = 2001,
                         price = 60),
              rest = ConsLoB(
                        first = Book(
                                   author = "MF",
                                   year = 1998,
                                   price = 15),
                        rest = MTLoB())),
   list2 = ConsLoB(
              first = Book(
                         author = "JL",
                         year = 1900,
                         price = 8),
              rest = MTLoB()),
   list3 = ConsLoB(
              first = Book(
                         author = "EX",
                         year = 1942,
                         price = 15),
              rest = ConsLoB(
                        first = Book(
                                   author = "JL",
                                   year = 1900,
                                   price = 8),
                        rest = MTLoB())),
   list4 = ConsLoB(
              first = Book(
                         author = "MF",
                         year = 2001,
                         price = 60),
              rest = ConsLoB(
                        first = Book(
                                   author = "MF",
                                   year = 1998,
                                   price = 15),
                        rest = ConsLoB(
                                  first = Book(
                                             author = "JL",
                                             year = 1900,
                                             price = 8),
                                  rest = MTLoB()))),
   list5 = ConsLoB(
              first = Book(
                         author = "EX",
                         year = 1942,
                         price = 15),
              rest = ConsLoB(
                        first = Book(
                                   author = "JL",
                                   year = 1900,
                                   price = 8),
                        rest = ConsLoB(
                                  first = Book(
                                             author = "MF",
                                             year = 2001,
                                             price = 60),
                                  rest = ConsLoB(
                                            first = Book(
                                                       author = "MF",
                                                       year = 1998,
                                                       price = 15),
                                            rest = MTLoB())))),
   testWrittenByMF1 = true,
   testWrittenByMF2 = true,
   testBefore1980t1 = true,
   testBefore1980t2 = true,
   testMoreThan10t1 = true,
   testMoreThan10t2 = true,
   testAnyBookWrittenByMF1 = true,
   testAnyBookWrittenByMF2 = true,
   testAnyBookWrittenByMF3 = true,
   testAnyBookBefore1980t1 = true,
   testAnyBookBefore1980t2 = true,
   testAnyBookBefore1980t3 = true,
   testAnyBookMoreThan10t1 = true,
   testAnyBookMoreThan10t2 = true,
   testAnyBookMoreThan10t3 = true,
   testAnyBookWrittenByMF1a = true,
   testAnyBookWrittenByMF2a = true,
   testAnyBookWrittenByMF3a = true,
   testAnyBookBefore1980t1a = true,
   testAnyBookBefore1980t2a = true,
   testAnyBookBefore1980t3a = true,
   testAnyBookMoreThan10t1a = true,
   testAnyBookMoreThan10t2a = true,
   testAnyBookMoreThan10t3a = true,
   testAnyBookWrittenBy1a = true,
   testAnyBookWrittenBy2a = true,
   testAnyBookWrittenBy3a = true)
>