module A

public export
num : Nat
num = 0