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=ba73f288e435130293408bd44732f1dfc5ec8a8db91c7453c9baf9c740095829

sha512=f88bb92fdb8aee8add60588673040fac012b2eab17c2a1d529c4b7c795cf0e1a9168122dc19889f04a31bda2bb2cf820237cbbe7e319121618aba3d134381756

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.