Edit this page Backlinks This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ===== 5. Functional data representation ===== ===== 5.1. Nats ==== <code scala> trait Nat {} case object Zero extends Nat {} case class Succ(n: Nat) extends Nat {} </code>