1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
(* Copyright (C) 2009,2011 Matthew Fluet.
* Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
* Jagannathan, and Stephen Weeks.
*
* MLton is released under a BSD-style license.
* See the file MLton-LICENSE for details.
*)
signature REAL =
sig
structure Format:
sig
type t
val exact: t
val fix: int option -> t
val gen: int option -> t
val sci: int option -> t
end
type t
exception Input
val + : t * t -> t
val - : t * t -> t
val * : t * t -> t
val / : t * t -> t
val < : t * t -> bool
val <= : t * t -> bool
val > : t * t -> bool
val >= : t * t -> bool
val abs: t -> t
val acos: t -> t
val add1: t -> t
val asin: t -> t
val atan2: t * t -> t
val atan: t -> t
val ceiling: t -> int
val choose: t * t -> t
structure Class:
sig
datatype t =
INF
| NAN
| NORMAL
| SUBNORMAL
| ZERO
end
val class: t -> Class.t
val compare: t * t -> Relation.t
val cos: t -> t
val dec: t ref -> unit
val equals: t * t -> bool
val exp: t -> t
val floor: t -> int
val format: t * Format.t -> string
val fromInt: Pervasive.Int.int -> t (* fromInt n = 1 + ... + 1, n times. *)
val fromIntInf: Pervasive.IntInf.int -> t
val fromString: string -> t option
val inc: t ref -> unit
val input: In0.t -> t
val inverse: t -> t
val isFinite: t -> bool
val isNan: t -> bool
val layout: t -> Layout.t
val ln: t -> t
val log2: t -> t
val log: t * t -> t
val max: t * t -> t
val maxFinite: t
val min: t * t -> t
val negOne: t
val one: t
val pi: t
val pow: t * t -> t
val prod: t list -> t
val realCeil: t -> t
val realFloor: t -> t
val realMod: t -> t
val realPower: t * t -> t
val realRound: t -> t
val realTrunc: t -> t
val rem: t * t -> t
val round: t -> int
val signBit: t -> bool
val sin: t -> t
val split: t -> {frac: t, whole: t}
val sqrt: t -> t
val sub1: t -> t
val tan: t -> t
val three: t
val toIntInf: t -> Pervasive.IntInf.int
val toString: t -> string
val trunc: t -> int
val two: t
val zero: t
val ~ : t -> t
end
|
