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