package mrmime

  1. Overview
  2. Docs

Source file peano.ml

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