Module LogtkScopedTerm.Kind

module Kind: sig .. end

type t = 
| Kind
| LogtkType
| LogtkFOTerm
| LogtkHOTerm
| LogtkFormula of t
| Untyped
| Generic
"kind" of a term, i.e. what is its meaning, in which context is it used