devkit.core
Devkit_core.Reader
Simple string reader
devkit
type t
exception EOS
exception Not_equal of string
val init : string -> t
val eos : t -> bool
val rest : t -> string
post-condition: eos is true
eos
val till : t -> string -> string
val try_till : t -> string -> string
val tillc : t -> char -> string
val try_tillc : t -> char -> string
val take : t -> int -> string
val try_take : t -> int -> string
val is_const : t -> string -> bool
val const : t -> string -> unit
val try_const : t -> string -> unit
val while_ : t -> (char -> bool) -> string
val skipc : t -> char -> unit