Module Lcalc.To_ocamlSource

Formats a lambda calculus program into a valid OCaml program

Sourceval typ_needs_parens : Shared_ast.typ -> bool
Sourceval format_enum_name : Format.formatter -> Shared_ast.EnumName.t -> unit
Sourceval format_enum_cons_name : Format.formatter -> Shared_ast.EnumConstructor.t -> unit
Sourceval format_struct_name : Format.formatter -> Shared_ast.StructName.t -> unit
Sourceval format_struct_field_name : Format.formatter -> (Shared_ast.StructName.t option * Shared_ast.StructField.t) -> unit
Sourceval format_to_module_name : Format.formatter -> [< `Ename of Shared_ast.EnumName.t | `Sname of Shared_ast.StructName.t ] -> unit
Sourceval format_var : Format.formatter -> 'm Shared_ast.Var.t -> unit

Usage format_program get_fmt p type_dependencies_ordering. Either one of these may be set