catala.dcalc
Dcalc.Autotest
This module scans a program for "test" scopes, detected as scopes without any undefined inputs. It runs the interpreter to compute their results, then inserts assertion in the code that ensure correctness of said results.
api_web
catala.catala_utils
catala.clerk_driver
catala.clerk_lib
catala.desugared
catala.driver
catala.lcalc
catala.literate
catala.plugins
catala.runtime_jsoo
catala.runtime_ocaml
catala.scalc
catala.scopelang
catala.shared_ast
catala.surface
catala.verification
explain
json_schema
lazy_interpreter
python
val program : 'm Ast.program -> 'm Ast.program