catala.catala_utils
Uid.MarkedString
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.
api_web
catala.clerk_driver
catala.dcalc
catala.desugared
catala.driver
catala.lcalc
catala.literate
catala.plugins
catala.runtime_jsoo
catala.runtime_ocaml
catala.scalc
catala.scopelang
catala.shared_ast
catala.surface
catala.verification
explain
json_schema
lazy_interpreter
python
type info = string Mark.pos
val to_string : info -> string
val format : Format.formatter -> info -> unit
val equal : info -> info -> bool
Equality disregards position
val compare : info -> info -> int
Comparison disregards position