Misc (u.ec028f6743d65e9e011193685a3e1cdf.tezos-protocol-015-PtLimaPt.16.0.doc.tezos-protocol-015-PtLimaPt.raw.Tezos_raw_protocol_015

Helper functions

module Public_key_map : 
  Tezos_protocol_environment_015_PtLimaPt.Map.S
    with type key =
           Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key.t

Sourcetype 'a lazyt = unit -> 'a

Sourcetype 'a lazy_list_t =

| LCons of 'a * 'a lazy_list_t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult Tezos_protocol_environment_015_PtLimaPt.Lwt.t lazyt

Source

type 'a lazy_list =
  'a lazy_list_t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.t

Sourceval (-->) : int -> int -> int list

Include bounds

Sourceval (<--) : int -> int -> int list

Source

val (--->) : 
  Tezos_protocol_environment_015_PtLimaPt.Int32.t ->
  Tezos_protocol_environment_015_PtLimaPt.Int32.t ->
  Tezos_protocol_environment_015_PtLimaPt.Int32.t list

Source

val pp_print_paragraph : 
  Tezos_protocol_environment_015_PtLimaPt.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.