package archetype

  1. Overview
  2. Docs
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_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_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_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 -> 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
OCaml

Innovation. Community. Security.