idris-0.10.1: test/idrisdoc006/B.idr

module B

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