package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.6.0.tar.gz
md5=b22e238d5d5c8452067109e9c7c0f427
sha512=ccc8c557c67c2f9d1bed4b957b2367f0f6afc0ef9b8b83237cf2a2912b3e8829b7e8af78ea7fe00b20ecf28b436ad04b591e5fff4f82fd08725d40a18c9924d0
doc/catala.scalc/Scalc/Ast/index.html
Module Scalc.AstSource
Source
type expr = | EVar of LocalName.t| EFunc of TopLevelName.t| EStruct of expr Utils.Pos.marked list * D.StructName.t| EStructFieldAccess of expr Utils.Pos.marked * D.StructFieldName.t * D.StructName.t| EInj of expr Utils.Pos.marked * D.EnumConstructor.t * D.EnumName.t| EArray of expr Utils.Pos.marked list| ELit of L.lit| EApp of expr Utils.Pos.marked * expr Utils.Pos.marked list| EOp of Dcalc.Ast.operator
Source
type stmt = | SInnerFuncDef of LocalName.t Utils.Pos.marked * func| SLocalDecl of LocalName.t Utils.Pos.marked * D.typ Utils.Pos.marked| SLocalDef of LocalName.t Utils.Pos.marked * expr Utils.Pos.marked| STryExcept of block * L.except * block| SRaise of L.except| SIfThenElse of expr Utils.Pos.marked * block * block| SSwitch of expr Utils.Pos.marked * D.EnumName.t * (block * LocalName.t) list(*Each block corresponds to one case of the enum
*)| SReturn of expr| SAssert of expr
Source
and func = {func_params : (LocalName.t Utils.Pos.marked * D.typ Utils.Pos.marked) list;func_body : block;
}Source
type scope_body = {scope_body_name : Dcalc.Ast.ScopeName.t;scope_body_var : TopLevelName.t;scope_body_func : func;
}