package catala

You can search for identifiers within the package.

in-package search v0.2.0

Low-level language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

D

Denis Merigoux

Maintainers

C

contact@catala-lang.org

Sources

0.2.0.tar.gz

md5=4c6f725ef4d21c5ff91f60d74b454ef7

sha512=98806e03daa6f33740b80a0f78a37320fb70ebea8cb927ea8fed022673459189c32e2389ccba0fa25d93f754b0fa0128a5ee28e1bb9abefa330deb4be8cc7d95

doc/catala.utils/Utils/Uid/Make/index.html

Module `Uid.Make`Source

This is the generative functor that ensures that two modules resulting from two different calls to Make will be viewed as different types t by the OCaml typechecker. Prevents mixing up different sorts of identifiers.

Parameters

module X : Info

Signature

Sourcetype t

Sourcetype info = X.info

Sourceval fresh : info -> t

Sourceval get_info : t -> info

Sourceval compare : t -> t -> int

Sourceval format_t : Format.formatter -> t -> unit

Sourceval hash : t -> int

On This Page

Parameters
Signature