module Kreal:Converting real constants with only integral valuessig
..end
val error : unit -> 'a
type
sign =
| |
Positive |
| |
Negative |
type
state =
| |
Integral |
| |
Fraction |
| |
Exponent |
type
env = {
|
mantiss : |
|
exponent : |
|
mutable sign : |
|
mutable coma : |
|
mutable state : |
type
token =
| |
Digit |
| |
Plus |
| |
Minus |
| |
Exp |
| |
Dot |
val token : char -> token
val trail : string -> (int * int) option
val convert : string -> string