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

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 : Stdlib.Random.State.t -> t

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

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

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

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

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

val to_float : t -> float

val of_float : float -> t

val of_int : int -> t

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