Module Kappa_data_structures.PpSource

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