package archetype

  1. Overview
  2. Docs
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_ -> unit
val pp_operator : Stdlib.Format.formatter -> Model.assignment_operator -> unit
val pp_pattern : Core.Format.formatter -> Model.pattern -> unit
val pp_sort_kind : Stdlib.Format.formatter -> Model.sort_kind -> unit
val pp_entry_description : Stdlib.Format.formatter -> Model.entry_description -> unit
val pp_temp : Stdlib.Format.formatter -> Model.temp -> unit
val pp_delta : Stdlib.Format.formatter -> Model.delta -> unit
val pp_container_kind : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a Model.container_kind_gen -> unit
val pp_iter_container_kind : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a Model.iter_container_kind_gen -> unit
val pp_transfer_kind : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a Model.transfer_kind_gen -> unit
val pp_mterm : Stdlib.Format.formatter -> Model.mterm -> Ppx_deriving_runtime.unit
val pp_label_term : Stdlib.Format.formatter -> Model.label_term -> Ppx_deriving_runtime.unit
val pp_ck : Stdlib.Format.formatter -> Model.api_container_kind -> unit
val pp_api_asset : Stdlib.Format.formatter -> Model.api_asset -> Ppx_deriving_runtime.unit
val pp_api_list : Stdlib.Format.formatter -> Model.api_list -> unit
val pp_api_builtin : Stdlib.Format.formatter -> Model.api_builtin -> unit
val pp_api_internal : Stdlib.Format.formatter -> Model.api_internal -> unit
val pp_api_item_node : Stdlib.Format.formatter -> Model.api_storage_node -> Ppx_deriving_runtime.unit
val pp_api_verif : Stdlib.Format.formatter -> Model.api_verif -> Ppx_deriving_runtime.unit
val pp_api_storage : Stdlib.Format.formatter -> Model.api_storage -> Ppx_deriving_runtime.unit
val pp_api_items : Stdlib.Format.formatter -> Model.api_storage list -> unit
val pp_var : Stdlib.Format.formatter -> Model.var -> Ppx_deriving_runtime.unit
val pp_enum_item : Stdlib.Format.formatter -> Model.enum_item -> unit
val pp_enum : Stdlib.Format.formatter -> Model.enum -> unit
val pp_asset_item : Stdlib.Format.formatter -> Model.asset_item -> Ppx_deriving_runtime.unit
val pp_asset : Stdlib.Format.formatter -> Model.asset -> unit
val pp_record : Stdlib.Format.formatter -> Model.record -> unit
val pp_decl : Stdlib.Format.formatter -> Model.lident Model.decl_node_gen -> 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
OCaml

Innovation. Community. Security.