module TestFunctions

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