src/ASM/Parser.mli

   1 val chars_of_string: string -> char list
   2
   3 type 'a parser = char list -> ('a * char list) list
   4
   5 val return: 'a -> 'a parser
   6 val (>>=): 'a parser -> ('a -> 'b parser) -> 'b parser
   7 val prs_zero: 'a parser
   8 val prs_eof: unit parser
   9 val prs_predicate: (char -> bool) -> char parser;;
  10 val prs_many1: 'a parser -> ('a list) parser;;
  11 val prs_many: 'a parser -> ('a list) parser;;
  12 val prs_exact: int  -> 'a parser -> ('a list) parser;;
  13 val prs_sep_by: 'a parser -> 'b parser -> ('a list) parser;;
  14 val prs_sep_by1: 'a parser -> 'b parser -> ('a list) parser;;
  15 val (++): 'a parser -> 'a parser -> 'a parser;;
  16 val (+++): 'a parser -> 'a parser -> 'a parser;;
  17
  18 val prs_char: char -> char parser;;
  19 val prs_hex_digit: char parser;;