package dolmen_type

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.