package prbnmcn-proptest

  1. Overview
  2. Docs
type t =
  1. | Zero
  2. | One
  3. | Add of t * t
  4. | Mul of t * t
  5. | Neg of t
val gen : t Crowbar.gen
val equal : t -> t -> bool
val pp : Stdlib.Format.formatter -> t -> unit
val (=) : t -> t -> bool