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.7.0.tar.gz
md5=6dbbc2f50c23693f26ab6f048e78172f
sha512=a5701e14932d8a866e2aa3731f76df85ff2a68b4fa943fd510c535913573274d66eaec1ae6fcae17f20b475876048a9ab196ef6d8c23d4ea6b90b986aa0a6daa

doc/catala.desugared/Desugared/Ast/ScopeDef/index.html

Module Ast.ScopeDefSource

Inside a scope, a definition can refer either to a scope def, or a subscope def

Sourcetype t =
  1. | Var of ScopeVar.t * StateName.t option
  2. | SubScopeVar of Scopelang.Ast.SubScopeName.t * ScopeVar.t
Sourceval compare : t -> t -> int
Sourceval get_position : t -> Utils.Pos.t
Sourceval format_t : Format.formatter -> t -> unit
Sourceval hash : t -> int
OCaml

Innovation. Community. Security.