package catala

  1. Overview
  2. Docs

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