//
// Created by Dependently-Typed Lambda Calculus on 2019-11-26
// data-and-cons
// Author: ice10
//

data Nat {
  constructor Zero;
  constructor Succ Nat;
};

definition One : Nat;
clause One = Succ Zero;

definition Two : Nat;
clause Two = Succ One;