sig
type 'a result
type 'a t = Strng.t -> 'a Parser.result
val ( >>= ) : 'a Parser.t -> ('a -> 'b Parser.t) -> 'b Parser.t
val ( <|> ) : 'a Parser.t -> 'a Parser.t -> 'a Parser.t
val ( >> ) : 'a Parser.t -> 'b Parser.t -> 'b Parser.t
val any_char : char Parser.t
val between : 'a Parser.t -> 'b Parser.t -> 'c Parser.t -> 'b Parser.t
val char : char -> char Parser.t
val digit : char Parser.t
val letter : char Parser.t
val many1 : 'a Parser.t -> 'a list Parser.t
val many : 'a Parser.t -> 'a list Parser.t
val none_of : string -> char Parser.t
val one_of : string -> char Parser.t
val parse : 'a Parser.t -> Strng.t -> 'a option
val return : 'a -> 'a Parser.t
val sat : (char -> bool) -> char Parser.t
val sep_by1 : 'a Parser.t -> 'b Parser.t -> 'a list Parser.t
val sep_by : 'a Parser.t -> 'b Parser.t -> 'a list Parser.t
val sep_end_by1 : 'a Parser.t -> 'b Parser.t -> 'a list Parser.t
val sep_end_by : 'a Parser.t -> 'b Parser.t -> 'a list Parser.t
val skip_many1 : 'a Parser.t -> unit Parser.t
val skip_many : 'a Parser.t -> unit Parser.t
val space : char Parser.t
val spaces : unit Parser.t
val string : string -> Strng.t Parser.t
val tempt : 'a Parser.t -> 'a Parser.t
val test : 'a Parser.t -> string -> 'a
val many_until : 'a Parser.t -> 'b Parser.t -> 'a list Parser.t
val many_before : 'a Parser.t -> 'b Parser.t -> 'a list Parser.t
val spaces1 : unit Parser.t
val parse_strict : 'a Parser.t -> Strng.t -> 'a option
end