colibri2 0.4 (latest) · OCaml Package

type flag = Colibri2_stdlib.Debug.flag

val register_flag : desc:Colibri2_popop_lib.Pp.formatted -> string -> flag

val register_info_flag : desc:Colibri2_popop_lib.Pp.formatted -> string -> flag

Register a new info flag. It is allowed to register twice the same flag. Info flags are set by --debug-all and must not change the behaviour.

val dprintf0 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  (unit, Containers.Format.formatter, unit) Stdlib.format ->
  unit

Print only if the flag is set

val dprintf1 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('a -> unit, Containers.Format.formatter, unit) Stdlib.format ->
  'a ->
  unit

Print only if the flag is set

val dprintf2 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('b -> 'a -> unit, Containers.Format.formatter, unit) Stdlib.format ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf3 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('c -> 'b -> 'a -> unit, Containers.Format.formatter, unit) Stdlib.format ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf4 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('d -> 'c -> 'b -> 'a -> unit, Containers.Format.formatter, unit)
    Stdlib.format ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf5 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('e -> 'd -> 'c -> 'b -> 'a -> unit, Containers.Format.formatter, unit)
    Stdlib.format ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf6 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('f -> 'e -> 'd -> 'c -> 'b -> 'a -> unit, Containers.Format.formatter, unit)
    Stdlib.format ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf7 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('g ->
    'f ->
    'e ->
    'd ->
    'c ->
    'b ->
    'a ->
    unit,
    Containers.Format.formatter,
    unit)
    Stdlib.format ->
  'g ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf8 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('h ->
    'g ->
    'f ->
    'e ->
    'd ->
    'c ->
    'b ->
    'a ->
    unit,
    Containers.Format.formatter,
    unit)
    Stdlib.format ->
  'h ->
  'g ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf9 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('i ->
    'h ->
    'g ->
    'f ->
    'e ->
    'd ->
    'c ->
    'b ->
    'a ->
    unit,
    Containers.Format.formatter,
    unit)
    Stdlib.format ->
  'i ->
  'h ->
  'g ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf10 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('j ->
    'i ->
    'h ->
    'g ->
    'f ->
    'e ->
    'd ->
    'c ->
    'b ->
    'a ->
    unit,
    Containers.Format.formatter,
    unit)
    Stdlib.format ->
  'j ->
  'i ->
  'h ->
  'g ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf11 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('k ->
    'j ->
    'i ->
    'h ->
    'g ->
    'f ->
    'e ->
    'd ->
    'c ->
    'b ->
    'a ->
    unit,
    Containers.Format.formatter,
    unit)
    Stdlib.format ->
  'k ->
  'j ->
  'i ->
  'h ->
  'g ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf12 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('l ->
    'k ->
    'j ->
    'i ->
    'h ->
    'g ->
    'f ->
    'e ->
    'd ->
    'c ->
    'b ->
    'a ->
    unit,
    Containers.Format.formatter,
    unit)
    Stdlib.format ->
  'l ->
  'k ->
  'j ->
  'i ->
  'h ->
  'g ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf13 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('m ->
    'l ->
    'k ->
    'j ->
    'i ->
    'h ->
    'g ->
    'f ->
    'e ->
    'd ->
    'c ->
    'b ->
    'a ->
    unit,
    Containers.Format.formatter,
    unit)
    Stdlib.format ->
  'm ->
  'l ->
  'k ->
  'j ->
  'i ->
  'h ->
  'g ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf14 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('n ->
    'm ->
    'l ->
    'k ->
    'j ->
    'i ->
    'h ->
    'g ->
    'f ->
    'e ->
    'd ->
    'c ->
    'b ->
    'a ->
    unit,
    Containers.Format.formatter,
    unit)
    Stdlib.format ->
  'n ->
  'm ->
  'l ->
  'k ->
  'j ->
  'i ->
  'h ->
  'g ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintf15 : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('o ->
    'n ->
    'm ->
    'l ->
    'k ->
    'j ->
    'i ->
    'h ->
    'g ->
    'f ->
    'e ->
    'd ->
    'c ->
    'b ->
    'a ->
    unit,
    Containers.Format.formatter,
    unit)
    Stdlib.format ->
  'o ->
  'n ->
  'm ->
  'l ->
  'k ->
  'j ->
  'i ->
  'h ->
  'g ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  unit

Print only if the flag is set

val dprintfn : 
  ?nobox:unit ->
  ?ct:unit ->
  flag ->
  ('o ->
    'n ->
    'm ->
    'l ->
    'k ->
    'j ->
    'i ->
    'h ->
    'g ->
    'f ->
    'e ->
    'd ->
    'c ->
    'b ->
    'a ->
    'z,
    Containers.Format.formatter,
    unit)
    Stdlib.format ->
  'o ->
  'n ->
  'm ->
  'l ->
  'k ->
  'j ->
  'i ->
  'h ->
  'g ->
  'f ->
  'e ->
  'd ->
  'c ->
  'b ->
  'a ->
  'z

Print only if the flag is set

val decision : flag

val contradiction : flag

type 'a stat

val register_stats_int : string -> int stat

val register_stats_time : string -> float stat

val add_time_during : float stat -> (unit -> 'a) -> 'a

val incr : int stat -> unit

val decr : int stat -> unit

val get_stats : int stat -> int

val test_flag : flag -> bool

val real_dprintf : 
  ?nobox:unit ->
  ?ct:unit ->
  ('a, Containers.Format.formatter, unit) Stdlib.format ->
  'a

package colibri2