@@ -27,6 +27,8 @@ For example, lets take the following list of functions that are defined in a mod
27.. code-block:: idris
27.. code-block:: idris
29 module Maths.NumOps
29 module Maths.NumOps
31+ %access export -- to make functions under test visible
31 double : Num a => a -> a
33 double : Num a => a -> a
32 double a = a + a
34 double a = a + a