package catala

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lcalc.Compile_without_exceptionsSource

Translation from the default calculus to the lambda calculus. This translation uses an option monad to handle empty defaults terms. This transformation is one piece to permit to compile toward legacy languages that does not contains exceptions.

Sourceval translate_program : 'm Dcalc.Ast.program -> 'm Ast.program
OCaml

Innovation. Community. Security.