Scalc.To_python
Formats a lambda calculus program into a valid Python program
val renaming : Shared_ast.Renaming.t
val format_program :
Stdlib.Format.formatter ->
Ast.program ->
Shared_ast.TypeIdent.t list ->
unit
Usage format_program fmt p type_dependencies_ordering