package tezos-protocol-008-PtEdoTez

  1. Overview
  2. Docs
On This Page
  1. Helper functions
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-008-PtEdoTez.raw/Tezos_raw_protocol_008_PtEdoTez/Misc/index.html

Module Tezos_raw_protocol_008_PtEdoTez.MiscSource

Helper functions

Sourcetype 'a lazyt = unit -> 'a
Sourceval (-->) : int -> int -> int list

Include bounds

Sourceval (--->) : Tezos_protocol_environment_008_PtEdoTez.Int32.t -> Tezos_protocol_environment_008_PtEdoTez.Int32.t -> Tezos_protocol_environment_008_PtEdoTez.Int32.t list
Sourceval pp_print_paragraph : Tezos_protocol_environment_008_PtEdoTez.Format.formatter -> string -> unit
Sourceval take : int -> 'a list -> ('a list * 'a list) option
Sourceval remove_prefix : prefix:string -> string -> string option

Some (input with prefix removed), if string has prefix, else None

Sourceval remove_elem_from_list : int -> 'a list -> 'a list

remove nb list remove the first nb elements from the list list.