Module Kind


module Kind: sig .. end
Kind (roughly speaking, a type used as first-class-value for Project).

A kind may depend of others kinds and there are selections of kinds, i.e. a set of kinds dealing with their dependencies.



type how =
| Do_Not_Select_Dependencies (*Only select the kind, and not its dependencies.*)
| Select_Dependencies (*Select both the kind and its dependencies.*)
| Only_Select_Dependencies (*Select the kind's dependencies but not the kind itself.*)
How to select the dependencies when a kind is added to a selection.
Consult the Plugin Development Guide for additional details.
module type SELECTION = sig .. end
Signature of a selection of kinds.
val version : string Pervasives.ref
module Make: 
functor (T : sig
type t 
Type used to build the first-class-value type.
val dummy : t
A dummy value.
val name : string
Name of the kind to generate (debugging purpose only).
val kind_name : t -> string
Name of a value of type t.
end) -> sig .. end
Kind generator.