Module type Project.KIND


module type KIND = sig .. end
Common signature of kinds.
See also kind.

type t 
Type of kinds.
val dummy : t
A dummy kind.
Consult the Plugin Development Guide for additional details.
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