package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Kind
  2. | Type
  3. | FOTerm
  4. | HOTerm
  5. | Formula of t
  6. | Untyped
  7. | Generic

"kind" of a term, i.e. what is its meaning, in which context is it used

OCaml

Innovation. Community. Security.