Print (p.catala.0.7.0.doc.catala.dcalc.Dcalc.Print)

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

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