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 -> Stdlib.Format.formatter -> Ast.program -> unit

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