package catala

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

Module Scalc.To_javaSource

Formats a lambda calculus program into a valid Java program

Sourceval format_program : class_name:string -> Catala_utils.File.t option -> Format.formatter -> Ast.program -> unit

Usage format_program ~class_name file ppf p where class_name must be a valid Java identifier.