package logtk

You can search for identifiers within the package.

in-package search v0.2.0

Module `Proof.Kind`

type t = kind

val pp : t CCFormat.printer

val pp_tstp : 
  Format.formatter ->
  (kind * [< `Name of string | `Theory of string ] list) ->
  unit