package KaSim

  1. Overview
  2. Docs
package KaSim
Legend:
Library
Module
Module type
Parameter
Class
Class type
val listi : ?trailing:(Format.formatter -> unit) -> (Format.formatter -> unit) -> (int -> Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val list : ?trailing:(Format.formatter -> unit) -> (Format.formatter -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val set : ?trailing:(Format.formatter -> unit) -> ('b -> 'a list) -> (Format.formatter -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'b -> unit
val hashtbl : (Format.formatter -> unit) -> (Format.formatter -> ('a * 'b) -> unit) -> Format.formatter -> ('a, 'b) Hashtbl.t -> unit
val option : ?with_space:bool -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit
val pair : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'b -> unit) -> Format.formatter -> ('a * 'b) -> unit
val bottom : Format.formatter -> unit
val nu : Format.formatter -> unit
val empty_set : Format.formatter -> unit
val compact_comma : Format.formatter -> unit
val comma : Format.formatter -> unit
val colon : Format.formatter -> unit
val dot : Format.formatter -> unit
val space : Format.formatter -> unit
val cut : Format.formatter -> unit
val empty : Format.formatter -> unit
val unit : Format.formatter -> unit -> unit
val array : ?trailing:(Format.formatter -> unit) -> (Format.formatter -> unit) -> (int -> Format.formatter -> 'a -> unit) -> Format.formatter -> 'a array -> unit
val plain_array : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a array -> unit
val error : (Format.formatter -> 'a -> unit) -> 'a Locality.annot -> 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