Module Scalc.To_java

Formats a lambda calculus program into a valid Java program

val op_needs_pos : 'a Shared_ast.operator -> Shared_ast.naked_typ -> bool
val renaming : Shared_ast.Renaming.t
val format_program : is_stdlib:bool -> 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.