moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module ContinuedFractions 76%29/38
86%79/91
83%973/1161
  module Main 90%9/10
33%13/39
43%92/213
  module QRationals 65%19/29
75%6/8
66%135/204
  module RealReals 6%4/62
7%6/78
7%64/805
  module Transcendentals 100%37/37
93%41/44
94%1057/1123
  Program Coverage Total 55%98/176
55%145/260
66%2321/3506