Mavryk_raw_protocol_001_PtAtLas.Misc
module Public_key_map : Mavryk_protocol_environment_001_PtAtLas.Map.S with type key = Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key.t
type 'a lazyt = unit -> 'a
type 'a lazy_list_t =
| LCons of 'a * 'a lazy_list_t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult Mavryk_protocol_environment_001_PtAtLas.Lwt.t lazyt
type 'a lazy_list = 'a lazy_list_t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult Mavryk_protocol_environment_001_PtAtLas.Lwt.t
val (-->) : int -> int -> int list
Include bounds
val (<--) : int -> int -> int list
val (--->) : Mavryk_protocol_environment_001_PtAtLas.Int32.t -> Mavryk_protocol_environment_001_PtAtLas.Int32.t -> Mavryk_protocol_environment_001_PtAtLas.Int32.t list
val pp_print_paragraph : Mavryk_protocol_environment_001_PtAtLas.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