Module Dalton_aux.Kind

module Kind: sig  end
Basic operations on kinds are provided by the module Variance.

val atomic : Dalton_aux.kind -> bool
atomic k tests whether the kind k is atomic, i.e. is Katom or Krow Katom or Krow (Krow Katom) etc.
val rows : Dalton_aux.kind -> int
rows k counts the number of Row in the kind k. For instance rows Katom and rows Ktype return 0, while rows (Krow Katom) and rows (Krow (Krow Ktype)) return respectively 1 and 2.
val fprint : Format.formatter -> Dalton_aux.kind -> unit
fprint ppf k prints the kind k on the formatter ppf.