package incremental

  1. Overview
  2. Docs
package incremental
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file stabilization_num.ml

1
2
3
4
5
6
7
8
9
open Core
open! Import
include Int

let invariant t = assert (t >= -1)
let none = -1
let is_none t = t = none
let is_some t = t >= 0
let add1 t = t + 1