Module Kappa_data_structures.Pp

val listi : ?trailing:(Stdlib.Format.formatter -> unit) -> (Stdlib.Format.formatter -> unit) -> (int -> Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a list -> unit
val list : ?trailing:(Stdlib.Format.formatter -> unit) -> (Stdlib.Format.formatter -> unit) -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a list -> unit
val set : ?trailing:(Stdlib.Format.formatter -> unit) -> ('b -> 'a list) -> (Stdlib.Format.formatter -> unit) -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'b -> unit
val hashtbl : (Stdlib.Format.formatter -> unit) -> (Stdlib.Format.formatter -> ('a * 'b) -> unit) -> Stdlib.Format.formatter -> ('a, 'b) Stdlib.Hashtbl.t -> unit
val option : ?with_space:bool -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a option -> unit
val pair : (Stdlib.Format.formatter -> 'a -> unit) -> (Stdlib.Format.formatter -> 'b -> unit) -> Stdlib.Format.formatter -> ('a * 'b) -> unit
val bottom : Stdlib.Format.formatter -> unit
val nu : Stdlib.Format.formatter -> unit
val empty_set : Stdlib.Format.formatter -> unit
val compact_comma : Stdlib.Format.formatter -> unit
val comma : Stdlib.Format.formatter -> unit
val colon : Stdlib.Format.formatter -> unit
val dot : Stdlib.Format.formatter -> unit
val space : Stdlib.Format.formatter -> unit
val cut : Stdlib.Format.formatter -> unit
val empty : Stdlib.Format.formatter -> unit
val unit : Stdlib.Format.formatter -> unit -> unit
val array : ?trailing:(Stdlib.Format.formatter -> unit) -> (Stdlib.Format.formatter -> unit) -> (int -> Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a array -> unit
val plain_array : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a array -> unit
val error : (Stdlib.Format.formatter -> 'a -> unit) -> 'a Loc.annoted -> unit
val list_to_string : (unit -> string) -> (unit -> 'a -> string) -> unit -> 'a list -> string
val set_to_string : ('b -> 'a list) -> (unit -> string) -> (unit -> 'a -> string) -> unit -> 'b -> string