package catala
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.scalc/Scalc/Ast/index.html
Module Scalc.AstSource
module D = Dcalc.Astmodule TopLevelName : sig ... endmodule LocalName : sig ... endSource
type expr = | EVar of LocalName.t| EFunc of TopLevelName.t| EStruct of expr Utils.Marked.pos list * D.StructName.t| EStructFieldAccess of expr Utils.Marked.pos * D.StructFieldName.t * D.StructName.t| EInj of expr Utils.Marked.pos * D.EnumConstructor.t * D.EnumName.t| EArray of expr Utils.Marked.pos list| ELit of L.lit| EApp of expr Utils.Marked.pos * expr Utils.Marked.pos list| EOp of Dcalc.Ast.operator
Source
type stmt = | SInnerFuncDef of LocalName.t Utils.Marked.pos * func| SLocalDecl of LocalName.t Utils.Marked.pos * D.typ Utils.Marked.pos| SLocalDef of LocalName.t Utils.Marked.pos * expr Utils.Marked.pos| STryExcept of block * L.except * block| SRaise of L.except| SIfThenElse of expr Utils.Marked.pos * block * block| SSwitch of expr Utils.Marked.pos * 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.Marked.pos * D.typ Utils.Marked.pos) list;func_body : block;
}Source
type scope_body = {scope_body_name : Dcalc.Ast.ScopeName.t;scope_body_var : TopLevelName.t;scope_body_func : func;
}