1 2 3
let bot = !(/rec/ ("a" . rec)); let zero = /zero suc/ zero; match (/zero suc/ suc (_ zero suc));