package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.8.0.tar.gz
md5=1408a1cce45c7d5990b981e83e7589c2
sha512=eb3b923aa1f743378b4a05e30f50be5d180dc862a716270d747a90e469017f42fa5fc41352f02fbbf59cd2560f91c4f1b32cf38d80085b105d9387b0aed2039d
doc/catala.scopelang/Scopelang/Ast/index.html
Module Scopelang.AstSource
Abstract syntax tree of the scope language
Identifiers
Abstract syntax tree
Source
type 'm rule = | Definition of location Catala_utils.Marked.pos * Shared_ast.typ * Desugared.Ast.io * 'm expr| Assertion of 'm expr| Call of Shared_ast.ScopeName.t * Shared_ast.SubScopeName.t * 'm Shared_ast.mark
Source
type 'm scope_decl = {scope_decl_name : Shared_ast.ScopeName.t;scope_sig : (Shared_ast.typ * Desugared.Ast.io) Shared_ast.ScopeVar.Map.t;scope_decl_rules : 'm rule list;scope_mark : 'm Shared_ast.mark;
}Source
type 'm program = {program_scopes : 'm scope_decl Shared_ast.ScopeName.Map.t;program_topdefs : ('m expr * Shared_ast.typ) Shared_ast.TopdefName.Map.t;program_ctx : Shared_ast.decl_ctx;
}On This Page