package cps_toolbox

  1. Overview
  2. Docs

Module Cps_toolbox.NatSource

Sourceval zero : int
Sourceval succ : int -> int
Sourceval fold : int -> 'r -> ('r -> 'r) -> 'r