package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Proof assistant for the λΠ-calculus modulo rewriting

Install

sha256=221dff97ab245c49b7e6480fa2a3a331ab70eb86dd5d521e2c73151029bbb787

sha512=a39961bb7f04f739660a98a52981d4793709619cd21310ca6982ba78af81ef09e01c7517ee3b8b2687b09f7d2614d878c1d69494ca6ab8ef8205d240c216ce8a

Sourceval color : bool ref

color tells whether colors can be used in the output.

Sourcetype color =

Format transformers (colors).

Sourcetype Format.stag +=

Sourceval color_code : color -> string

Sourceval string_of_color : color -> string

Sourceval color_of_string : string -> color

Sourceval mark_open_stag : (Format.stag -> string) -> Format.stag -> string

Sourceval mark_close_stag : (Format.stag -> string) -> Format.stag -> string

Sourceval update_with_color : Format.formatter -> unit

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

val pp : 
  ((('a -> 'b -> 'c) -> 'b -> 'c, 'a, 'c) format ->
    ('d -> 'e, Format.formatter, unit) format) ->
  'd ->
  Format.formatter ->
  'e

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

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

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

g_or_r cond fmt colors the format fmt in green if cond is true and in red otherwise.