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 Edit opam file Versions (10)

Authors

  1. D
    Denis Merigoux
  2. N
    Nicolas Chataing
  3. E
    Emile Rolley
  4. L
    Louis Gesbert
  5. A
    Aymeric Fromherz
  6. A
    Alain Delaët-Tixeuil

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.7.0.tar.gz
md5=6dbbc2f50c23693f26ab6f048e78172f
sha512=a5701e14932d8a866e2aa3731f76df85ff2a68b4fa943fd510c535913573274d66eaec1ae6fcae17f20b475876048a9ab196ef6d8c23d4ea6b90b986aa0a6daa

doc/catala.desugared/Desugared/Dependency/ScopeDependencies/V/index.html

Module ScopeDependencies.VSource

Vertices have type V.t and are labeled with type V.label (note that an implementation may identify the vertex with its label)

Vertices are COMPARABLE.

include Graph.Sig.COMPARABLE with type t := t
Sourceval compare : t -> t -> int
Sourceval hash : t -> int
Sourceval equal : t -> t -> bool

Vertices are labeled.

Sourcetype label
Sourceval create : label -> t
Sourceval label : t -> label