idris-0.10.1: test/idrisdoc002/TestFunctions.idr

module TestFunctions

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