idris-0.9.11: test/basic009/B/C.idr

module B.C

num : Nat
num = 1