package universo

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module D = Kernel.Basic.Debug

val debug_flag : D.flag

val red : 
  ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6 ->
  ('g, 'h, 'i, 'j, 'k, 'l) Stdlib.format6

Format transformers (colors).

val gre : 
  ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6 ->
  ('g, 'h, 'i, 'j, 'k, 'l) Stdlib.format6

val yel : 
  ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6 ->
  ('g, 'h, 'i, 'j, 'k, 'l) Stdlib.format6

val blu : 
  ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6 ->
  ('g, 'h, 'i, 'j, 'k, 'l) Stdlib.format6

val mag : 
  ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6 ->
  ('g, 'h, 'i, 'j, 'k, 'l) Stdlib.format6

val cya : 
  ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6 ->
  ('g, 'h, 'i, 'j, 'k, 'l) Stdlib.format6

val log : 
  ('a -> ('b, Stdlib.Format.formatter, unit, unit) Stdlib.format4) ->
  'c ->
  'd

val log_check : 
  ('a, Stdlib.Format.formatter, unit, unit, unit, unit) Stdlib.format6 ->
  'b

val log_elab : 
  ('a, Stdlib.Format.formatter, unit, unit, unit, unit) Stdlib.format6 ->
  'b

val log_solver : 
  ('a, Stdlib.Format.formatter, unit, unit, unit, unit) Stdlib.format6 ->
  'b

val log_univ : 
  ('a, Stdlib.Format.formatter, unit, unit, unit, unit) Stdlib.format6 ->
  'b

val error : string -> unit

val enable_flag : string -> unit

enable_flag str actives flags present in str

val enable_universo_flag : unit -> unit