package catala

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

Printing functions for the default calculus AST

Common syntax highlighting helpers

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

Formatters

val uid_list : Stdlib.Format.formatter -> Catala_utils.Uid.MarkedString.info list -> unit
val enum_constructor : Stdlib.Format.formatter -> Shared_ast__.Definitions.EnumConstructor.t -> unit
val tlit : Stdlib.Format.formatter -> Shared_ast__.Definitions.typ_lit -> unit
val location : Stdlib.Format.formatter -> 'a Shared_ast__.Definitions.glocation -> unit
val typ : Shared_ast__.Definitions.decl_ctx -> Stdlib.Format.formatter -> Shared_ast__.Definitions.naked_typ Catala_utils.Marked.pos -> unit
val lit : Stdlib.Format.formatter -> 'a Shared_ast__.Definitions.glit -> unit
val operator : Stdlib.Format.formatter -> ('a Shared_ast__.Definitions.any Shared_ast__.Definitions.any, 'k) Shared_ast__.Definitions.Op.t -> unit
val log_entry : Stdlib.Format.formatter -> Shared_ast__.Definitions.log_entry -> unit
val except : Stdlib.Format.formatter -> Shared_ast__.Definitions.except -> unit
val var : Stdlib.Format.formatter -> 'e Var.t -> unit
val var_debug : Stdlib.Format.formatter -> 'e Var.t -> unit
val expr : ?debug:bool -> Shared_ast__.Definitions.decl_ctx -> Stdlib.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

val expr_debug : ?debug:bool -> Stdlib.Format.formatter -> (('a, 'm Shared_ast__.Definitions.mark) Shared_ast__.Definitions.naked_gexpr, 'm Shared_ast__.Definitions.mark) Catala_utils.Marked.t -> unit
val typ_debug : Stdlib.Format.formatter -> Shared_ast__.Definitions.naked_typ Catala_utils.Marked.pos -> unit