You can search for identifiers within the package.
in-package search v0.2.0
include Ae_Arith_Common with type t := t
val minus : t -> t
Arithmetic unary minus/negation.
val add : t -> t -> t
Arithmetic addition.
val sub : t -> t -> t
Arithmetic substraction
val mul : t -> t -> t
Arithmetic multiplication
val pow : t -> t -> t
Arithmetic exponentiation
val lt : t -> t -> t
Arithmetic "less than" comparison.
val le : t -> t -> t
Arithmetic "less or equal" comparison.
val gt : t -> t -> t
Arithmetic "greater than" comparison.
val ge : t -> t -> t
Arithmetic "greater or equal" comparison.
val div : t -> t -> t
Exact division on reals.