module Main

data Cat = Cas | Luna | Sherlock

f : (cat: Cat) -> String

getName : (cat: Cat) -> String
getName Cas = "Cas"
getName Luna = "Luna"

plusTwo : (n: Nat) -> Nat
plusTwo n = plus 2 n

g : (n: Nat) -> (b: Bool) -> String
g n b = ?g_rhs

n : Nat
n = ?n_rhs
