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 Mark.pos
Sourceval to_string : info -> string
Sourceval format : Format.formatter -> info -> unit
Sourceval equal : info -> info -> bool

Equality disregards position

Sourceval compare : info -> info -> int

Comparison disregards position

Sourceval hash : info -> Hash.t

Hashing disregards position