package catala

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

Module Lcalc.To_ocamlSource

Formats a lambda calculus program into a valid OCaml program

Sourceval avoid_keywords : string -> string
Sourceval typ_needs_parens : Dcalc.Ast.typ Utils.Marked.pos -> bool
Sourceval needs_parens : 'm Ast.marked_expr -> bool
Sourceval format_enum_name : Format.formatter -> Dcalc.Ast.EnumName.t -> unit
Sourceval format_enum_cons_name : Format.formatter -> Dcalc.Ast.EnumConstructor.t -> unit
Sourceval format_struct_name : Format.formatter -> Dcalc.Ast.StructName.t -> unit
Sourceval format_struct_field_name : Format.formatter -> (Dcalc.Ast.StructName.t option * Dcalc.Ast.StructFieldName.t) -> unit
Sourceval format_to_module_name : Format.formatter -> [< `Ename of Dcalc.Ast.EnumName.t | `Sname of Dcalc.Ast.StructName.t ] -> unit
Sourceval format_lit : Format.formatter -> Ast.lit Utils.Marked.pos -> unit
Sourceval format_uid_list : Format.formatter -> Utils.Uid.MarkedString.info list -> unit
Sourceval format_var : Format.formatter -> 'm Ast.var -> unit
Sourceval format_program : Format.formatter -> 'm Ast.program -> Scopelang.Dependency.TVertex.t list -> unit

Usage format_program fmt p type_dependencies_ordering

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct