package arb

  1. Overview
  2. Docs

Module Arb.ARBSource

Sourcetype t
Sourcemodule C : sig ... end
Sourceval pp : Format.formatter -> t -> unit
Sourceval mid : t -> ARF.t
Sourceval rad : t -> MAG.t
Sourceval of_round_fmpz_2exp : ?prec:int -> exp:Flint.FMPZ.t -> Flint.FMPZ.t -> t
Sourceval of_round_2exp : ?prec:int -> exp:Z.t -> Z.t -> t
Sourceval of_interval : ?prec:int -> ARF.t -> ARF.t -> t
Sourceval zero : unit -> t