Module Scalc.To_python

Formats a lambda calculus program into a valid Python program

val op_needs_pos : 'a Shared_ast.operator -> Shared_ast.naked_typ -> bool
val renaming : Shared_ast.Renaming.t
val format_program : Catala_utils.File.t option -> Stdlib.Format.formatter -> Ast.program -> Shared_ast.TypeIdent.t list -> unit

Usage format_program file fmt p type_dependencies_ordering