Source file peano.ml

1
2
type z = Z
type 'a s = S