package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

Maintainers

C

contact@catala-lang.org

Sources

0.9.0.tar.gz

md5=8f891209d18b6540df9c34b2d1a6a783

sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2

doc/catala.shared_ast/Shared_ast/Typing/Env/index.html

Module `Typing.Env`Source

Sourcetype 'e t

Sourceval empty : Shared_ast__.Definitions.decl_ctx -> 'e t

Source

val add_var : 
  'e Var.t ->
  Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
  'e t ->
  'e t

Source

val add_toplevel_var : 
  Shared_ast__.Definitions.TopdefName.t ->
  Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
  'e t ->
  'e t

Source

val add_scope_var : 
  Shared_ast__.Definitions.ScopeVar.t ->
  Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
  'e t ->
  'e t

Source

val add_scope : 
  Shared_ast__.Definitions.ScopeName.t ->
  vars:
    Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos
      Shared_ast__.Definitions.ScopeVar.Map.t ->
  in_vars:
    Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos
      Shared_ast__.Definitions.ScopeVar.Map.t ->
  'e t ->
  'e t

Sourceval open_scope : Shared_ast__.Definitions.ScopeName.t -> 'e t -> 'e t

Sourceval dump : Format.formatter -> 'e t -> unit

For debug purposes

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.shared_ast/Shared_ast/Typing/Env/index.html

Module Typing.EnvSource

Module `Typing.Env`Source