package catala

You can search for identifiers within the package.

in-package search v0.2.0

Module `Scalc.To_python`Source

Formats a lambda calculus program into a valid Python program

Sourceval renaming : Shared_ast.Renaming.t

val format_program : 
  Catala_utils.File.t option ->
  Format.formatter ->
  Ast.program ->
  Shared_ast.TypeIdent.t list ->
  unit

Usage format_program file fmt p type_dependencies_ordering