package osdp

  1. Overview
  2. Docs

Adds extended operations.

minus_one is defined as M.sub M.zero M.one.

of_int n is defined as M.of_float (float_of_int n). Beware that this may overflow for large 63 bits integers.

neg x is defined as M.sub M.zero x.

inv x is defined as M.div M.one x.

Additional comparison operations are defined based on M.compare.

Parameters

module M : M

Signature

include M with type t = M.t
type t = M.t
val compare : t -> t -> int

A few values.

val zero : t
val one : t

Conversion functions.

val of_float : float -> t
val to_float : t -> float
val of_q : Q.t -> t
val to_q : t -> Q.t

Arithmetic operations.

val add : t -> t -> t
val sub : t -> t -> t
val mult : t -> t -> t
val div : t -> t -> t

Printing.

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

More conversion functions.

val of_int : int -> t

More arithmetic operations.

val neg : t -> t
val inv : t -> t
val equal : t -> t -> bool
val leq : t -> t -> bool
val geq : t -> t -> bool
val lt : t -> t -> bool
val gt : t -> t -> bool
val sign : t -> int

Returns -1, 0 or 1 when its argument is respectively < 0, 0 or > 0.

Prefix and infix operators.

val (~-) : 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct