devkit

Development kit - general purpose library
IN THIS PACKAGE
Module Devkit_core . Reader
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

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