package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

md5=6dbbc2f50c23693f26ab6f048e78172f

sha512=a5701e14932d8a866e2aa3731f76df85ff2a68b4fa943fd510c535913573274d66eaec1ae6fcae17f20b475876048a9ab196ef6d8c23d4ea6b90b986aa0a6daa

Printing functions for the default calculus AST

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

val 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

val format_expr : 
  ?debug:bool ->
  Ast.decl_ctx ->
  Format.formatter ->
  'm Ast.marked_expr ->
  unit

val format_scope : 
  ?debug:bool ->
  Ast.decl_ctx ->
  Format.formatter ->
  (Ast.ScopeName.t * ('m Ast.expr, 'm) Ast.scope_body) ->
  unit

On This Page