idris-0.10.1: test/idrisdoc005/TestTracing.idr

module TestTracing

public export
test : Bool
test = True