archetype 0.1.4 · OCaml Package

val pp_str : Format.formatter -> string -> 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 : Core.Format.formatter -> Ast.ptyp -> Ppx_deriving_runtime.unit

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

val pp_bval : Format.formatter -> Ast.bval -> Ppx_deriving_runtime.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 -> Ppx_deriving_runtime.unit

val pp_quantifier : Format.formatter -> Ast.quantifier -> unit

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

val to_const : Ast.const -> string

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

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

val pp_action_description : Format.formatter -> Ast.action_description -> unit

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

val pp_term_arg : 
  Core.Format.formatter ->
  Printer_tools.lident Ast.term_arg ->
  Ppx_deriving_runtime.unit

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

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

val pp_label_term : 
  Format.formatter ->
  Printer_tools.lident Ast.label_term ->
  Ppx_deriving_runtime.unit

val pp_specification : 
  Format.formatter ->
  Printer_tools.lident Ast.specification ->
  Ppx_deriving_runtime.unit

val pp_security : Format.formatter -> Ast.security -> unit

val pp_variable : 
  Format.formatter ->
  Printer_tools.lident Ast.variable ->
  Ppx_deriving_runtime.unit

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

val pp_asset : 
  Format.formatter ->
  Printer_tools.lident Ast.asset_struct ->
  Ppx_deriving_runtime.unit

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

val pp_enum : Format.formatter -> Printer_tools.lident Ast.enum_struct -> unit

val pp_signature : 
  Format.formatter ->
  Printer_tools.lident Ast.signature ->
  unit

val pp_contract : Format.formatter -> Printer_tools.lident Ast.contract -> unit

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

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

val pp_transaction_action : 
  Format.formatter ->
  Ast.transaction ->
  Ppx_deriving_runtime.unit

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

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

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

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

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

val show_model : Ast.model -> string

package archetype