package catala
Compiler and library for the literate programming language for tax code specification
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.0.0-alpha.tar.gz
md5=2615968670ac21b1d00386a9b04b3843
sha512=eff292fdd75012f26ce7b17020f5a8374eef37cd4dd6ba60338dfbe89fbcad3443d1b409e44c182b740da9f58dff7e76dcb8ddefe47f9b2b160666d1c6930143
doc/catala.shared_ast/Shared_ast/Var/index.html
Module Shared_ast.Var
Source
Variables and their collections
This module provides types and helpers for Bindlib variables on the gexpr
type
Source
type 'e t = ('a, 'a, 't) Shared_ast__.Definitions.base_gexpr Bindlib.var
constraint
'e =
(('a, 'a, 't) Shared_ast__.Definitions.base_gexpr,
't Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed
Source
type 'e vars = ('a, 'a, 't) Shared_ast__.Definitions.base_gexpr Bindlib.mvar
constraint
'e =
(('a, 'a, 't) Shared_ast__.Definitions.base_gexpr,
't Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed
Needed when converting from one AST type to another. See the note of caution on Bindlib.copy_var
.
Wrapper over Set.S
but with a type variable for the AST type parameters. Extend as needed
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page