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

val format_program : 
  Format.formatter ->
  Ast.program ->
  Scopelang.Dependency.TVertex.t list ->
  unit

Usage format_program fmt p type_dependencies_ordering