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) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6

Format transformers (colors).

val gre : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6

val yel : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6

val blu : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6

val mag : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6

val cya : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6

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

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

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

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

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

val error : string -> unit

val enable_flag : string -> unit

enable_flag str actives flags present in str

val enable_universo_flag : unit -> unit