Module Misc.Nonempty_list

Non-empty lists

type nonrec 'a t =
  1. | :: of 'a * 'a list
val to_list : 'a t -> 'a list
val of_list_opt : 'a list -> 'a t option
val map : ('a -> 'b) -> 'a t -> 'b t
val pp_print : ?pp_sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
val (@) : 'a t -> 'a t -> 'a t