universo.common
Common.Log
universo.api
universo.checking
universo.elaboration
universo.solving
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
enable_flag str
str
val enable_universo_flag : unit -> unit