package catala

  1. Overview
  2. Docs
Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

Authors

Maintainers

Sources

0.8.0.tar.gz
md5=1408a1cce45c7d5990b981e83e7589c2
sha512=eb3b923aa1f743378b4a05e30f50be5d180dc862a716270d747a90e469017f42fa5fc41352f02fbbf59cd2560f91c4f1b32cf38d80085b105d9387b0aed2039d

doc/catala.catala_utils/Catala_utils/Uid/MarkedString/index.html

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 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

OCaml

Innovation. Community. Security.