Module Uid.MarkedStringSource

The only kind of information carried in Catala identifiers is the original string of the identifier annotated with the position where it is declared or used.

Sourcetype info = string Marked.pos
Sourceval format_info : Format.formatter -> info -> unit