package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Proof assistant for the λΠ-calculus modulo rewriting

Install

dune-project

Dependency

sha256=739cab9a0a6c3ab0e7df210fb6fdcdb749a6fa70aa7ca59145da177c25428cb6

sha512=f1413e65259d1587d57d656a5153890c355fa339d981c0b038736bcaf53c698cc10466fbc77444d103c7b6ccb8d63290ff80a506d057bc199a29d53947e898c9

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.