package catala

  1. Overview
  2. Docs
Low-level language for tax code specification

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (10)

Authors

  1. D
    Denis Merigoux

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.3.0.tar.gz
md5=4a2c5495f30d8fc2e3bf977df6e602f9
sha512=8dcc404b6068b9dbd76982ade60d8fba1950fdd0a8a626db17429120483367dce1f51997e96d7b8ee5308f305c3bcbb897ef85336f25e9ef3681f4cb9237f56a

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