1signature HOLsexp_parser =
2sig
3
4  type t = HOLsexp_dtype.t
5  val raw_read_stream : TextIO.instream -> t
6  val raw_read_file : string -> t
7  val scan : (char, 'a) StringCvt.reader -> (t, 'a) StringCvt.reader
8
9end (* sig *)
10