archetype 1.4.2 · OCaml Package

val pp_str : Format.formatter -> string -> unit

val pp_namespace : Format.formatter -> string Location.loced -> unit

val pp_longident : Format.formatter -> Ast.longident -> unit

val pp_with_paren : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a ->
  unit

val pp_no_paren : ('a -> 'b) -> 'a -> 'b

val pp_currency : Format.formatter -> Ast.currency -> unit

val pp_vtyp : Format.formatter -> Ast.vtyp -> unit

val pp_container : Format.formatter -> Ast.container -> unit

val pp_ptyp : Format.formatter -> Ast.ptyp -> unit

val pp_type : Format.formatter -> Ast.type_ -> unit

val pp_struct_poly : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a Ast.struct_poly ->
  unit

val pp_bval : Format.formatter -> Ast.bval -> unit

val pp_logical_operator : Format.formatter -> Ast.logical_operator -> unit

val pp_comparison_operator : 
  Format.formatter ->
  Ast.comparison_operator ->
  unit

val pp_arithmetic_operator : 
  Format.formatter ->
  Ast.arithmetic_operator ->
  unit

val pp_unary_arithmetic_operator : 
  Format.formatter ->
  Ast.unary_arithmetic_operator ->
  unit

val pp_assignment_operator : 
  Format.formatter ->
  Ast.assignment_operator ->
  unit

val pp_operator : 
  Format.formatter ->
  [< `Arith of Ast.arithmetic_operator
  | `Assign of Ast.assignment_operator
  | `Cmp of Ast.comparison_operator
  | `Logical of Ast.logical_operator
  | `Unary of Ast.unary_arithmetic_operator ] ->
  unit

val pp_qualid : Format.formatter -> Ast.qualid -> unit

val pp_pattern : Format.formatter -> Ast.pattern -> unit

val to_const : Ast.const -> string

val pp_call_kind : Core.Format.formatter -> Ast.call_kind -> unit

val pp_security_role : Format.formatter -> string Location.loced -> unit

val pp_entry_description : Format.formatter -> Ast.entry_description -> unit

val pp_pterm : Format.formatter -> Ast.pterm -> unit

val pp_term_arg : Core.Format.formatter -> Ast.pterm_arg -> unit

val pp_instruction_poly : 
  ('a -> Ast.instruction_node -> 'b) ->
  'a ->
  Ast.instruction ->
  'b

val pp_instruction : Format.formatter -> Ast.instruction -> unit

val pp_label_term : Format.formatter -> Ast.label_term -> unit

val pp_variable_kind : Format.formatter -> Ast.variable_kind -> unit

val pp_variable : Format.formatter -> Ast.variable -> unit

val pp_field : Format.formatter -> Printer_tools.lident Ast.decl_gen -> unit

val pp_asset : Format.formatter -> Ast.asset -> unit

val pp_position : 
  (Core.Format.formatter -> Ast.lident -> unit) ->
  Core.Format.formatter ->
  Ast.position ->
  unit

val pp_record : Format.formatter -> Ast.record -> unit

val pp_event : Format.formatter -> Ast.record -> unit

val pp_enum_item : Format.formatter -> Ast.enum_item_struct -> unit

val pp_enum : Format.formatter -> Ast.enum -> unit

val pp_rexpr : Format.formatter -> Ast.rexpr -> unit

val pp_fun_ident_typ : 
  Format.formatter ->
  Printer_tools.lident Ast.decl_gen ->
  unit

val pp_fun_args : 
  Format.formatter ->
  Printer_tools.lident Ast.decl_gen list ->
  unit

val pp_function : Format.formatter -> Ast.function_ -> unit

val pp_otherwise : Format.formatter -> Ast.pterm option -> unit

val pp_transaction_entry : Format.formatter -> Ast.transaction -> unit

val pp_sexpr : Format.formatter -> Ast.sexpr -> unit

val pp_transaction_transition : 
  Format.formatter ->
  Ast.transaction ->
  Ast.transition ->
  unit

val pp_transaction : Format.formatter -> Ast.transaction -> unit

val pp_decl_ : Format.formatter -> Ast.decl_ -> unit

val pp_fun_ : Format.formatter -> Ast.fun_ -> unit

val pp_parameter : Format.formatter -> Ast.parameter -> unit

val pp_parameters : Format.formatter -> Ast.parameter list -> unit

val pp_parameter_value : Format.formatter -> Ast.parameter -> unit

val pp_parameter_values : Format.formatter -> Ast.parameter list -> unit

val pp_metadata : Format.formatter -> Ast.metadata_kind -> unit

val pp_ast : Format.formatter -> Ast.ast -> unit

val string_of__of_pp : (Format.formatter -> 'a -> unit) -> 'a -> string

val show_ast : Ast.ast -> string

package archetype