package universo

You can search for identifiers within the package.

in-package search v0.2.0

A tool for Dedukti to play with universes

Install

sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c

sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c

Sourcemodule D = Kernel.Basic.Debug

Sourceval debug_flag : D.flag

Sourceval red : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6

Format transformers (colors).

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

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

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

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

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

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

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

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

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

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

Sourceval error : string -> unit

Sourceval enable_flag : string -> unit

enable_flag str actives flags present in str

Sourceval enable_universo_flag : unit -> unit