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
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