module type KIND =Common signature of kinds.sig
..end
type
t
val dummy : t
val name : t -> string
val add_dependency : t -> t -> unit
add_dependency k1 k2
indicates that the state kind k1
depends on
the state kind k2
, that is an action of the state kind k2
must be
done before one of the state kind k1
. Actions are cleaning, copying,
loading and saving.