NAdd.hascasl.output revision 3aa7e4492a7e28b37d1a0b23f5bfe2109f87d4d6
c343be283b7152554bac0c02493a4e1759c163f7Kay Sievers %% ::= 0 | suc (pre :? Nat)
b3ae710c251d0ce5cf2cef63208e325497b5e323Zbigniew Jędrzejewski-Szmektype Nadd < Nat -> Nat
f957632b960a0a42999b38ded7089fa602b41745Kay Sieversgn_t1[Nadd] : +Type -> Type;
a40593a0d0d740efa387e35411e1e456a6c5aba7Lennart Poetteringgn_t2[gn_t1[Nadd]] : -Type -> +Type -> Type;
20ffc4c4a9226b0e45cc02ad9c0108981626c0bbKay Sieversgn_t3[Nat] : +Type -> Type;
afe3ab588a6b2992efe5a9b22ed038545ba3cdbfLennart Poetteringgn_t4[gn_t3[Nat]] : -Type -> +Type -> Type
d19e85f0d474ed1882561b458d528cbae49f640eZbigniew Jędrzejewski-Szmekgn_t2[gn_t1[Nadd]] < __->__;
d19e85f0d474ed1882561b458d528cbae49f640eZbigniew Jędrzejewski-Szmekgn_t3[Nat] < gn_t1[Nadd];
d19e85f0d474ed1882561b458d528cbae49f640eZbigniew Jędrzejewski-Szmekgn_t4[gn_t3[Nat]] < gn_t2[gn_t1[Nadd]]
afe3ab588a6b2992efe5a9b22ed038545ba3cdbfLennart PoetteringNadd := gn_t1[Nadd] Nat;
afe3ab588a6b2992efe5a9b22ed038545ba3cdbfLennart Poetteringgn_t1[Nadd] := gn_t2[gn_t1[Nadd]] Nat;
afea8d3853d0f76b3845729ff00e75d281f43a1bZbigniew Jędrzejewski-Szmekgn_t3[Nat] := gn_t4[gn_t3[Nat]] Nat
b43434e94e84572ed8aff179c294e6b26b63e218Zbigniew Jędrzejewski-Szmek3.6-3.8: ### Hint: redeclared type 'Nat'
b43434e94e84572ed8aff179c294e6b26b63e218Zbigniew Jędrzejewski-Szmek3.6-3.8: *** Error: cyclic alias type 'Nat'