archetype 0.1.8 · OCaml Package

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val pp_operator : 
  Stdlib.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 : 
  Stdlib.Format.formatter ->
  Ast.qualid ->
  Ppx_deriving_runtime.unit

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

val pp_pattern : 
  Stdlib.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 : Stdlib.Format.formatter -> string Location.loced -> unit

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

val pp_pterm : 
  Stdlib.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 : 
  Stdlib.Format.formatter ->
  Ast.instruction ->
  Ppx_deriving_runtime.unit

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val show_model : Ast.model -> string

package archetype