Functor Hook.Make_ordered

module Make_ordered: 
functor (P : sig
module Id: Hook.Comparable 
end-> S_ordered  with type key = P.Id.t and type param = unit and type result = unit
Since Neon-20140301
Parameters:
P : sig module Id:Comparable end

include Hook.S
type key 
type id 
val register_key : key -> id
val extend : id -> (param -> result) -> unit
val extend_once : id -> (param -> result) -> unit
val add_dependency : id -> id -> unit
add_dependency hook1 hook2 indicates that hook1 must be executed before hook2. In case of a cycle, all hooks will be executed, but an arbitrary order will be chosen among the elements of the cycle.