idris-0.9.13: test/idrisdoc002/TestFunctions.idr

module TestFunctions

||| Test function
test : ()
test = ()