package interval_base

  1. Overview
  2. Docs

Global precision for the functions and I.pp.

val set : int option -> unit

Set the number of decimals used by pr and pp. If None, use as many digits as needed to accurately print the interval.

val get : unit -> int option

Return the decimal precision used by pp, if any.