equal
deleted
inserted
replaced
23 val report_span: span -> unit |
23 val report_span: span -> unit |
24 val unit_source: (span, 'a) Source.source -> |
24 val unit_source: (span, 'a) Source.source -> |
25 (span * span list * bool, (span, 'a) Source.source) Source.source |
25 (span * span list * bool, (span, 'a) Source.source) Source.source |
26 end; |
26 end; |
27 |
27 |
28 structure ThySyntax: THY_SYNTAX = |
28 structure Thy_Syntax: THY_SYNTAX = |
29 struct |
29 struct |
30 |
30 |
31 (** tokens **) |
31 (** tokens **) |
32 |
32 |
33 (* parse *) |
33 (* parse *) |