KaSim 4.0.0 · OCaml Package

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 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

package KaSim