catala 0.8.0 · OCaml Package

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

package catala

Common syntax highlighting helpers

Formatters

Debugging versions that don't require a context