%%%%%%%%%%%%%%%%%%
%%% Tamaki, Sato
%%%

nat: type.

0: nat.
suc: nat -> nat.

pts: nat -> type.
qts: nat -> type.
rts: type.
%tabled qts.

c1: pts X
     <- qts X
     <- rts.

c2: qts (suc X)
     <- qts X.

c3: qts 0.

c4: rts.

%querytabled * 10 (pts X).