Functor Hook.Fold_ordered

module Fold_ordered: 
functor (P : sig
module Id: Hook.Comparable 
type t 
end-> S_ordered  with type key = P.Id.t and type param = P.t and type result = P.t
Since Neon-20140301
Parameters:
P : sig module Id:Comparable type t 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.