package qcheck-core

  1. Overview
  2. Docs

Module type Shrink.NumberSource

Util module representing a number type, used for ad hoc polymorphism of some functions like number_towards.

Sourcetype t
Sourceval equal : t -> t -> bool
Sourceval div : t -> t -> t
Sourceval add : t -> t -> t
Sourceval sub : t -> t -> t
Sourceval of_int : int -> t