package catala

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

Module Dcalc.PrintSource

Printing functions for the default calculus AST

Common syntax highlighting helpers

Sourceval format_base_type : Format.formatter -> string -> unit
Sourceval format_keyword : Format.formatter -> string -> unit
Sourceval format_punctuation : Format.formatter -> string -> unit
Sourceval format_operator : Format.formatter -> string -> unit
Sourceval format_lit_style : Format.formatter -> string -> unit

Formatters

Sourceval format_uid_list : Format.formatter -> Utils.Uid.MarkedString.info list -> unit
Sourceval format_enum_constructor : Format.formatter -> Ast.EnumConstructor.t -> unit
Sourceval format_tlit : Format.formatter -> Ast.typ_lit -> unit
Sourceval format_typ : Ast.decl_ctx -> Format.formatter -> Ast.typ -> unit
Sourceval format_lit : Format.formatter -> Ast.lit -> unit
Sourceval format_op_kind : Format.formatter -> Ast.op_kind -> unit
Sourceval format_binop : Format.formatter -> Ast.binop -> unit
Sourceval format_ternop : Format.formatter -> Ast.ternop -> unit
Sourceval format_log_entry : Format.formatter -> Ast.log_entry -> unit
Sourceval format_unop : Format.formatter -> Ast.unop -> unit
Sourceval format_var : Format.formatter -> 'm Ast.var -> unit
Sourceval format_expr : ?debug:bool -> Ast.decl_ctx -> Format.formatter -> 'm Ast.marked_expr -> unit
Sourceval format_scope : ?debug:bool -> Ast.decl_ctx -> Format.formatter -> (Ast.ScopeName.t * ('m Ast.expr, 'm) Ast.scope_body) -> unit
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