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 Pos.marked
Sourceval format_info : Format.formatter -> info -> unit