Misc (p.tezos-protocol-005-PsBABY5H.16.1.doc.tezos-protocol-005-PsBABY5H.raw.Tezos_raw_protocol_005

Helper functions

Sourcetype 'a lazyt = unit -> 'a

Sourcetype 'a lazy_list_t =

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

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

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

Include bounds

Source

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

Source

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