module Kind:Kind (roughly speaking, a type used as first-class-value for Project).sig
..end
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. | *) |
module type SELECTION =sig
..end
val version : string Pervasives.ref
module Make: