blob: 0b6a877cbd9f5bd89f0f6bb94bca35cc450d9868 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
type t = {
int : string; (** \[0-9\]\[0-9_\]* *)
frac : string; (** empty or \[0-9_\]+ *)
exp : string (** empty or \[eE\]\[+-\]?\[0-9\]\[0-9_\]* *)
}
val equal : t -> t -> bool
(** [int s] amounts to [\{ int = s; frac = ""; exp = "" \}] *)
val int : string -> t
val to_string : t -> string
val of_string : string -> t option
(** Precondition: the first char on the stream is a digit (\[0-9\]).
Precondition: at least two extra chars after the numeral to parse. *)
val parse : char Stream.t -> t
|
