module TestFunctions

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