module Hook: sig
.. end
Hook builder. A hook is a bunch of functions which can be extended and
applied at any program point.
module type S = sig
.. end
Output signature.
module type Iter_hook = S
with type result = unit
module Build: functor (
P
:
sig
end
) ->
Iter_hook
with type param = P.t
Make a new empty hook from a given type of parameters.
module Make: functor (
X
:
sig
end
) ->
S
with type param = unit and type result = unit
Make a new empty hook from unit
.
module Fold: functor (
P
:
sig
end
) ->
S
with type param = P.t and type result = P.t