Misc (tezos-protocol-007-PsDELPH1.Tezos_raw_protocol_007

Helper functions

type 'a lazyt = unit -> 'a

type 'a lazy_list_t =

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

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

val (-->) : int -> int -> int list

Include bounds

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

val pp_print_paragraph : 
  Tezos_protocol_environment_007_PsDELPH1.Format.formatter ->
  string ->
  unit

val take : int -> 'a list -> ('a list * 'a list) option

val remove_prefix : prefix:string -> string -> string option

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

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

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

module Syntax : sig ... end