archetype 0.1.10 · OCaml Package

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

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

val pp_btyp : Stdlib.Format.formatter -> Model.btyp -> unit

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

val pp_type : 
  Stdlib.Format.formatter ->
  Model.type_ ->
  Ppx_deriving_runtime.unit

val pp_operator : Stdlib.Format.formatter -> Model.assignment_operator -> unit

val pp_qualid : Stdlib.Format.formatter -> Model.qualid -> unit

val pp_pattern : Core.Format.formatter -> Model.pattern -> unit

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

val pp_mterm : 
  Stdlib.Format.formatter ->
  Model.mterm ->
  Ppx_deriving_runtime.unit

val pp_storage_const : Stdlib.Format.formatter -> Model.storage_const -> unit

val pp_container_const : 
  Stdlib.Format.formatter ->
  Model.container_const ->
  Ppx_deriving_runtime.unit

val pp_function_const : 
  Stdlib.Format.formatter ->
  Model.function_const ->
  Ppx_deriving_runtime.unit

val pp_builtin_const : 
  Stdlib.Format.formatter ->
  Model.builtin_const ->
  Ppx_deriving_runtime.unit

val pp_api_item_node : 
  Stdlib.Format.formatter ->
  Model.api_item_node ->
  Ppx_deriving_runtime.unit

val pp_api_verif : 
  Stdlib.Format.formatter ->
  Model.api_verif ->
  Ppx_deriving_runtime.unit

val pp_api_item : 
  Stdlib.Format.formatter ->
  Model.api_item ->
  Ppx_deriving_runtime.unit

val pp_api_items : Stdlib.Format.formatter -> Model.api_item list -> unit

val pp_info_var : 
  Stdlib.Format.formatter ->
  Model.info_var ->
  Ppx_deriving_runtime.unit

val pp_info_enum : Stdlib.Format.formatter -> Model.info_enum -> unit

val pp_info_asset : Stdlib.Format.formatter -> Model.info_asset -> unit

val pp_info_contract : Stdlib.Format.formatter -> Model.info_contract -> unit

val pp_info_item : 
  Stdlib.Format.formatter ->
  Model.info_item ->
  Ppx_deriving_runtime.unit

val pp_infos : Stdlib.Format.formatter -> Model.info_item list -> unit

val pp_enum_item : Stdlib.Format.formatter -> Model.enum_item -> unit

val pp_enum : Stdlib.Format.formatter -> Model.enum -> unit

val pp_record_item : 
  Stdlib.Format.formatter ->
  Model.record_item ->
  Ppx_deriving_runtime.unit

val pp_record : Stdlib.Format.formatter -> Model.record -> unit

val pp_contract_signature : 
  Stdlib.Format.formatter ->
  Model.contract_signature ->
  unit

val pp_contract : 
  Stdlib.Format.formatter ->
  Model.contract ->
  Ppx_deriving_runtime.unit

val pp_decl : 
  Stdlib.Format.formatter ->
  Model.lident Model.decl_node_gen ->
  Ppx_deriving_runtime.unit

val pp_label_term : 
  Stdlib.Format.formatter ->
  Model.label_term ->
  Ppx_deriving_runtime.unit

val pp_storage_item : 
  Stdlib.Format.formatter ->
  Model.storage_item ->
  Ppx_deriving_runtime.unit

val pp_storage : Stdlib.Format.formatter -> Model.storage -> unit

val pp_invariant : Stdlib.Format.formatter -> Model.invariant -> unit

val pp_invariants : Stdlib.Format.formatter -> Model.invariant list -> unit

val pp_use : Stdlib.Format.formatter -> Printer_tools.lident list -> unit

val pp_postcondition : 
  Stdlib.Format.formatter ->
  Model.postcondition ->
  Ppx_deriving_runtime.unit

val pp_assert_ : 
  Stdlib.Format.formatter ->
  Model.assert_ ->
  Ppx_deriving_runtime.unit

val pp_specification : Stdlib.Format.formatter -> Model.specification -> unit

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

val pp_argument : 
  Stdlib.Format.formatter ->
  Model.argument ->
  Ppx_deriving_runtime.unit

val pp_function : 
  Stdlib.Format.formatter ->
  Printer_tools.lident Model.function__gen ->
  Ppx_deriving_runtime.unit

val pp_model : Stdlib.Format.formatter -> Model.model -> unit

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

val show_model : Model.model -> string

package archetype