package catala

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

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (14)

Authors

  1. V
    Vincent Botbol
  2. N
    Nicolas Chataing
  3. A
    Alain Delaët-Tixeuil
  4. L
    Louis Gesbert
  5. A
    Aymeric Fromherz
  6. D
    Denis Merigoux
  7. R
    Raphaël Monat
  8. R
    Romain Primet
  9. E
    Emile Rolley

Maintainers

  1. C
    contact@catala-lang.org

Sources

1.3.0.tar.gz
md5=59d0dd01df52c38a4d793b594f067d14
sha512=944b755f8b47cb14920994f03f022cc3ba6cdf5def1ae8ffda00a196fa97dcc5b57baf642a03068b79e949df2a98d5f0218e3358e549be1ff0f1cddda1e5f848

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.

include Info with type info = string Mark.pos
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

Sourcetype t = info
Sourcemodule Map : Map.S with type key = t