package fadbadml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Constructors
Destructors
Arithmetic operators
Scalar operators
Comparison operators

package fadbadml

fadbadml
- Fadbad
  - B
    
    T
  - Badiff
    
    BTypeName
    
    T
    
    OrderedBTypeName
    
    T
  - F
    
    T
  - Fadiff
    
    FTypeName
    
    T
    
    OrderedFTypeName
    
    T
  - OpFloat
  - OpS
  - OrderedB
    
    T
  - OrderedF
    
    T
  - OrderedFloat
  - OrderedOpS
  - T
    
    T
  - Tadiff
    
    OrderedTTypeName
    
    T
    
    TTypeName
    
    T

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

type elt

Type of values: this is the type that the user should use with make and that will be returned by get

type scalar

Type of scalars

val copy : t -> t

val deepcopy : t -> t

Constructors

val create : unit -> t

val make : elt -> t

Wrap a user-provided value

val integer : int -> t

Wrap an integer

val zero : unit -> t

Construct a fresh value corresponding to 0

val one : unit -> t

Construct a fresh value corresponding to 1

val two : unit -> t

Construct a fresh value corresponding to 2

Destructors

val get : t -> elt

Unwrap a value

val (!!) : t -> elt

Alias for get

val to_string : t -> string

val string_of_scalar : scalar -> string

val string_of_elt : elt -> string

Arithmetic operators

val (~+) : t -> t

unary plus (with copy)

val (~-) : t -> t

unary minus (with copy)

val (+) : t -> t -> t

val (+=) : t -> t -> t

val (-) : t -> t -> t

val (-=) : t -> t -> t

val (*) : t -> t -> t

val (*=) : t -> t -> t

val (/) : t -> t -> t

val (/=) : t -> t -> t

val (**) : t -> t -> t

val inv : t -> t

val sqr : t -> t

val sqrt : t -> t

val log : t -> t

val exp : t -> t

val sin : t -> t

val cos : t -> t

val tan : t -> t

val asin : t -> t

val acos : t -> t

val atan : t -> t

Scalar operators

val scale : t -> scalar -> t

Multiplication between a value and a scalar

val translate : t -> scalar -> t

Addition between a value and a scalar

Comparison operators

val (=) : t -> t -> bool

val (<>) : t -> t -> bool

val (<) : t -> t -> bool

val (<=) : t -> t -> bool

val (>) : t -> t -> bool

val (>=) : t -> t -> bool

val min : t -> t -> t

val max : t -> t -> t