Module `Archetype.Printer_model`Source

Sourceval pp_str : Format.formatter -> string -> unit

Sourceval pp_currency : Format.formatter -> Model.currency -> unit

Sourceval pp_btyp : Format.formatter -> Model.btyp -> unit

Sourceval pp_container : Format.formatter -> Model.container -> unit

Sourceval pp_type : Format.formatter -> Model.type_ -> unit

Sourceval pp_operator : Format.formatter -> Model.assignment_operator -> unit

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

Sourceval pp_sort_kind : Format.formatter -> Model.sort_kind -> unit

Sourceval pp_entry_description : Format.formatter -> Model.entry_description -> unit

Sourceval pp_temp : Format.formatter -> Model.temp -> unit

Sourceval pp_delta : Format.formatter -> Model.delta -> unit

Source

val pp_container_kind : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a Model.container_kind_gen ->
  unit

Source

val pp_iter_container_kind : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a Model.iter_container_kind_gen ->
  unit

Source

val pp_transfer_kind : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a Model.transfer_kind_gen ->
  unit

Sourceval pp_mterm : Format.formatter -> Model.mterm -> Ppx_deriving_runtime.unit

Source

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

Sourceval pp_ck : Format.formatter -> Model.api_container_kind -> unit

Source

val pp_api_asset : 
  Format.formatter ->
  Model.api_asset ->
  Ppx_deriving_runtime.unit

Sourceval pp_api_list : Format.formatter -> Model.api_list -> unit

Sourceval pp_api_builtin : Format.formatter -> Model.api_builtin -> unit

Sourceval pp_api_internal : Format.formatter -> Model.api_internal -> unit

Source

val pp_api_item_node : 
  Format.formatter ->
  Model.api_storage_node ->
  Ppx_deriving_runtime.unit

Source

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

Source

val pp_api_storage : 
  Format.formatter ->
  Model.api_storage ->
  Ppx_deriving_runtime.unit

Sourceval pp_api_items : Format.formatter -> Model.api_storage list -> unit

Sourceval pp_var : Format.formatter -> Model.var -> Ppx_deriving_runtime.unit

Sourceval pp_enum_item : Format.formatter -> Model.enum_item -> unit

Sourceval pp_enum : Format.formatter -> Model.enum -> unit

Source

val pp_asset_item : 
  Format.formatter ->
  Model.asset_item ->
  Ppx_deriving_runtime.unit

Sourceval pp_asset : Format.formatter -> Model.asset -> unit

Sourceval pp_record : Format.formatter -> Model.record -> unit

Source

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

Source

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

Sourceval pp_storage : Format.formatter -> Model.storage -> unit

Sourceval pp_invariant : Format.formatter -> Model.invariant -> unit

Sourceval pp_invariants : Format.formatter -> Model.invariant list -> unit

Sourceval pp_use : Format.formatter -> Printer_tools.lident list -> unit

Source

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

Sourceval pp_assert_ : Format.formatter -> Model.assert_ -> Ppx_deriving_runtime.unit

Sourceval pp_specification : Format.formatter -> Model.specification -> unit

Sourceval pp_security : Format.formatter -> Model.security -> unit

Source

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

Source

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

Sourceval pp_model : Format.formatter -> Model.model -> unit

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

Sourceval show_model : Model.model -> string

package archetype

Module Archetype.Printer_modelSource

Module `Archetype.Printer_model`Source