orgeat
  1. Overview
  2. Docs
type t = Q.t
include Smol.Algebra.Field_S with type t := t
include Smol.Algebra.Basic_S with type t := t
include Smol.Algebra.Ring_S with type t := t
include Smol.Algebra.Basic_S with type t := t
include Smol.Algebra.Mul_Monoid_S with type t := t
include Smol.Algebra.Basic_S with type t := t
val one : t
val mul : t -> t -> t
include Smol.Algebra.Add_Group_S with type t := t
include Smol.Algebra.Basic_S with type t := t
include Smol.Algebra.Add_Monoid_S with type t := t
include Smol.Algebra.Basic_S with type t := t
val equal : t -> t -> bool
val to_string : t -> string
val zero : t
val add : t -> t -> t
val neg : t -> t
val sub : t -> t -> t
val inv : t -> t
val div : t -> t -> t
include Ordered_S with type t := t
val compare : t -> t -> int
val leq : t -> t -> bool
val geq : t -> t -> bool
val lt : t -> t -> bool
val gt : t -> t -> bool
val mul_int : int -> t -> t
val abs : t -> t
val exp : t -> t
val log : t -> t
val of_Q : Q.t -> t
val of_float : float -> t