@@ -27,6 +27,8 @@ For example, lets take the following list of functions that are defined in a mod
2727.. code-block:: idris
2828
2929 module Maths.NumOps
30+
31+ %access export -- to make functions under test visible
3032
3133 double : Num a => a -> a
3234 double a = a + a
@@ -42,6 +44,8 @@ A simple test module, with a qualified name of ``Test.NumOps`` can be declared a
4244 module Test.NumOps
4345
4446 import Maths.NumOps
47+
48+ %access export -- to make the test functions visible
4549
4650 assertEq : Eq a => (given : a) -> (expected : a) -> IO ()
4751 assertEq g e = if g == e