package catala

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

Module Shared_ast.PrintSource

Printing functions for the default calculus AST

Common syntax highlighting helpers

Sourceval base_type : Format.formatter -> string -> unit
Sourceval keyword : Format.formatter -> string -> unit
Sourceval punctuation : Format.formatter -> string -> unit
Sourceval op_style : Format.formatter -> string -> unit
Sourceval lit_style : Format.formatter -> string -> unit

Formatters

Sourceval enum_constructor : Format.formatter -> Shared_ast__.Definitions.EnumConstructor.t -> unit
Sourceval tlit : Format.formatter -> Shared_ast__.Definitions.typ_lit -> unit
Sourceval location : Format.formatter -> 'a Shared_ast__.Definitions.glocation -> unit
Sourceval typ : Shared_ast__.Definitions.decl_ctx -> Format.formatter -> Shared_ast__.Definitions.naked_typ Catala_utils.Marked.pos -> unit
Sourceval lit : Format.formatter -> 'a Shared_ast__.Definitions.glit -> unit
Sourceval operator : Format.formatter -> ('a Shared_ast__.Definitions.any Shared_ast__.Definitions.any, 'k) Shared_ast__.Definitions.Op.t -> unit
Sourceval log_entry : Format.formatter -> Shared_ast__.Definitions.log_entry -> unit
Sourceval except : Format.formatter -> Shared_ast__.Definitions.except -> unit
Sourceval var : Format.formatter -> 'e Var.t -> unit
Sourceval var_debug : Format.formatter -> 'e Var.t -> unit
Sourceval expr : ?debug:bool -> Shared_ast__.Definitions.decl_ctx -> Format.formatter -> (('a, 'm Shared_ast__.Definitions.mark) Shared_ast__.Definitions.naked_gexpr, 'm Shared_ast__.Definitions.mark) Catala_utils.Marked.t -> unit

Debugging versions that don't require a context

Sourceval expr_debug : ?debug:bool -> Format.formatter -> (('a, 'm Shared_ast__.Definitions.mark) Shared_ast__.Definitions.naked_gexpr, 'm Shared_ast__.Definitions.mark) Catala_utils.Marked.t -> unit
Sourceval typ_debug : Format.formatter -> Shared_ast__.Definitions.naked_typ Catala_utils.Marked.pos -> 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