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.