module type KIND = sig
.. end
Common signature of kinds.
See also kind.
type
t
Type of kinds.
val dummy : t
val name : t -> string
Name of a kind.
val get_from_name : string -> t
Reverse of name
(as names are uniques for kinds, this function is the
injection from kinds to names).
Since Boron-20100401
Raises Not_found
if there is no kind with this name.
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.
Consult the Plugin Development Guide for additional details.
val equal : t -> t -> bool
Since Boron-20100401
val compare : t -> t -> int
Since Boron-20100401
val hash : t -> int
Since Boron-20100401