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.scalc/Scalc/Ast/index.html
Module Scalc.AstSource
module D = Dcalc.Astmodule FuncName : sig ... endmodule VarName : sig ... endSource
and naked_expr = | EVar : VarName.t -> naked_expr| EFunc : FuncName.t -> naked_expr| EStruct : expr list * Shared_ast.StructName.t -> naked_expr| EStructFieldAccess : expr * Shared_ast.StructField.t * Shared_ast.StructName.t -> naked_expr| EInj : expr * Shared_ast.EnumConstructor.t * Shared_ast.EnumName.t -> naked_expr| EArray : expr list -> naked_expr| ELit : L.lit -> naked_expr| EApp : expr * expr list -> naked_expr| EOp : (Shared_ast.lcalc, _) Shared_ast.operator -> naked_expr
Source
type stmt = | SInnerFuncDef of VarName.t Catala_utils.Marked.pos * func| SLocalDecl of VarName.t Catala_utils.Marked.pos * Shared_ast.typ| SLocalDef of VarName.t Catala_utils.Marked.pos * expr| STryExcept of block * Shared_ast.except * block| SRaise of Shared_ast.except| SIfThenElse of expr * block * block| SSwitch of expr * Shared_ast.EnumName.t * (block * VarName.t) list(*Each block corresponds to one case of the enum
*)| SReturn of naked_expr| SAssert of naked_expr
Source
and func = {func_params : (VarName.t Catala_utils.Marked.pos * Shared_ast.typ) list;func_body : block;
}Source
type scope_body = {scope_body_name : Shared_ast.ScopeName.t;scope_body_var : FuncName.t;scope_body_func : func;
}