|
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
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
