package prbnmcn-dagger-test

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Basic_structures.Basic_impl.Reals.Rational end

Real numbers implemented as arbitrary-precision rational numbers

include Basic_structures.Basic_intf.Field_std with type t = Q.t

type t = Q.t

val zero : t

val add : t -> t -> t

val neg : t -> t

val one : t

val mul : t -> t -> t

val sub : t -> t -> t

val div : t -> t -> t

val compare : t -> t -> int

val equal : t -> t -> bool

val hash : t -> int

val lebesgue : Random.State.t -> t

Lebesgue on the interval 0;1

val (+) : t -> t -> t

val (-) : t -> t -> t

val (*) : t -> t -> t

val (/) : t -> t -> t

include Basic_structures.Basic_intf.Infix_order
  with type t := t
   and type 'a m := 'a

val (<) : t -> t -> bool

val (>) : t -> t -> bool

val (<=) : t -> t -> bool

val (>=) : t -> t -> bool

val (=) : t -> t -> bool

val (<>) : t -> t -> bool

val npow : t -> int -> t

npow x n is x tp the power of n.

val to_float : t -> float

val of_float : float -> t

val of_int : int -> t

val pp : Format.formatter -> Q.t -> unit