Tezos_raw_protocol_014_PtKathma.Misc
module Public_key_map : Tezos_protocol_environment_014_PtKathma.Map.S with type key = Tezos_protocol_environment_014_PtKathma.Signature.Public_key.t
type 'a lazyt = unit -> 'a
type 'a lazy_list_t =
| LCons of 'a * 'a lazy_list_t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t lazyt
type 'a lazy_list = 'a lazy_list_t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
val (-->) : int -> int -> int list
Include bounds
val (<--) : int -> int -> int list
val (--->) : Tezos_protocol_environment_014_PtKathma.Int32.t -> Tezos_protocol_environment_014_PtKathma.Int32.t -> Tezos_protocol_environment_014_PtKathma.Int32.t list
val pp_print_paragraph : Tezos_protocol_environment_014_PtKathma.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
prefix
None
val remove_elem_from_list : int -> 'a list -> 'a list
remove nb list remove the first nb elements from the list list.
remove nb list
nb
list