package archetype

  1. Overview
  2. Docs
val pp_str : Format.formatter -> string -> unit
val pp_currency : Format.formatter -> Model.currency -> unit
val pp_btyp : Format.formatter -> Model.btyp -> unit
val pp_container : Format.formatter -> Model.container -> unit
val pp_type : Format.formatter -> Model.type_ -> unit
val pp_operator : Format.formatter -> Model.assignment_operator -> unit
val pp_pattern : Core.Format.formatter -> Model.pattern -> unit
val pp_sort_kind : Format.formatter -> Model.sort_kind -> unit
val pp_entry_description : Format.formatter -> Model.entry_description -> unit
val pp_container_kind : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'b Model.container_kind_gen -> unit
val pp_iter_container_kind : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'b Model.iter_container_kind_gen -> unit
val pp_api_list : Format.formatter -> Model.api_list -> unit
val pp_api_builtin : Format.formatter -> Model.api_builtin -> unit
val pp_api_internal : Format.formatter -> Model.api_internal -> unit
val pp_api_items : Format.formatter -> Model.api_storage list -> unit
val pp_enum_item : Format.formatter -> Model.enum_item -> unit
val pp_enum : Format.formatter -> Model.enum -> unit
val pp_asset : Format.formatter -> Model.asset -> unit
val pp_contract_signature : Format.formatter -> Model.contract_signature -> unit
val pp_storage : Format.formatter -> Model.storage -> unit
val pp_invariant : Format.formatter -> Model.invariant -> unit
val pp_invariants : Format.formatter -> Model.invariant list -> unit
val pp_use : Format.formatter -> Printer_tools.lident list -> unit
val pp_specification : Format.formatter -> Model.specification -> unit
val pp_security : Format.formatter -> Model.security -> unit
val pp_model : Format.formatter -> Model.model -> unit
val string_of__of_pp : (Format.formatter -> 'a -> unit) -> 'b -> string
val show_model : Model.model -> string
OCaml

Innovation. Community. Security.