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.