Functor Dl_number.Stretched_integers


module Stretched_integers: 
functor (N : Integral_value) -> T
Parameters:
N : Integral_value

type t 
The type of numbers.
val zero : t
The representation of zero.
val epsilon : t
A small number.
val add : t -> t -> t
Numberic addition.
val subtract : t -> t -> t
Numeric subtraction.
val unary_minus : t -> t
Numeric unary minus.
val equal : t -> t -> bool
Are the numbers equal? .
val compare : t -> t -> int
Comparison of numbers.
val hash : t -> int
Hash value for number.
val print : t -> unit
Prints the number.
val log : int -> t -> unit
Output the number to the log.
val is_number : Term.term -> bool
Does the term represent a number?
val number : Term.term -> t
The number represented by term.



Hosted by the SourceForge.net Logo* web site.
*Other names and brands may be claimed as the property of others.