idris-0.9.13: test/idrisdoc006/B.idr

module B

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