blob: 01730c62d3027c875a48e43eb6c1791c2171e1b4 (
plain)
1
2
3
4
5
6
7
|
let bot = !(/rec/ "a" . rec);
let zero = /zero suc/ zero;
let suc n = /zero suc/ suc (n zero suc);
let opt some = _ : None | some;
let plus iter = !(/plus/ iter . (opt plus));
match opt "ab";
|