package symkat

You can search for identifiers within the package.

in-package search v0.2.0

package symkat

symkat
- Antimirov
- Brzozowski
- Hypotheses
- IlieYu
- Kat
- Lexer
- Parse
- Parser
- Symkat

Legend:
Library
Module
Module type
Parameter
Class
Class type

val hk : bool ref

val congruence : bool ref

val ssf : bool ref

val trace : bool ref

val construction : [ `Antimirov | `Brzozowski | `IlieYu ] ref

val equiv : ?hyps:Hypotheses.t -> Kat.expr -> Kat.expr -> Kat.gstring option

val compare : 
  ?hyps:Hypotheses.t ->
  Kat.expr ->
  Kat.expr ->
  (Kat.expr' * Kat.expr')
  * [ `D of Kat.gstring * Kat.gstring
    | `E
    | `G of Kat.gstring
    | `L of Kat.gstring ]

val check : [ `D | `E | `G | `L ] -> ?hyps:string -> string -> string -> unit