module TestImport

import Prelude

one : Nat
one = S Z