module Pred;

data Nat = Zero | S(Nat);

def Nat pred(Nat x) =
    case x {
    Zero => Zero;
    S(xP) => xP;
};

def Nat start(Nat x) = pred(x);

{

}