Module Scalc.To_cSource

Formats a lambda calculus program into a valid C89 program

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

Usage format_program fmt p type_dependencies_ordering