Copilot.Theorem

type Proof a

type PropId

data PropRef a

data Universal

data Existential