package catala

  1. Overview
  2. Docs
package catala
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Scalc.To_pythonSource

Formats a lambda calculus program into a valid Python program

Sourceval op_needs_pos : 'a Shared_ast.operator -> Shared_ast.naked_typ -> bool
Sourceval format_pos : Format.formatter -> Catala_utils.Pos.t -> unit
Sourceval 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