module Make_ordered: functor (
P
:
sig
end
) ->
S_ordered
with type key = P.Id.t and type param = unit and type result = unit
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.