Module Scalc.To_c

Formats a statement calculus program into a valid C89 program

val renaming : Shared_ast.Renaming.t
val format_program : ppf_src:Stdlib.Format.formatter -> ppf_intf:Stdlib.Format.formatter -> Ast.program -> Shared_ast.TypeIdent.t list -> unit

Usage format_program fmt p type_dependencies_ordering