package catala

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Dcalc`Source

Sourcemodule Ast : sig ... end

Abstract syntax tree of the default calculus intermediate representation

Sourcemodule From_scopelang : sig ... end

Scope language to default calculus translator

Sourcemodule Interpreter : sig ... end

Reference interpreter for the default calculus

Sourcemodule Optimizations : sig ... end

Optimization passes for default calculus programs and expressions