Module Scalc.To_java

Formats a lambda calculus program into a valid Java program

val renaming : Shared_ast.Renaming.t
val format_program : class_name:string -> Catala_utils.File.t option -> Stdlib.Format.formatter -> Ast.program -> unit

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