3.3 Delivery tools: the Deliver structure
delivery_hook
Type
- Summary
- The type of a function that, given a delivery function, augments it to return another.
- Signature
MLWORKS.Deliver
- Structure
MLWorks.Deliver
- Type
type delivery_hook = deliverer -> deliverer
- Description
- The type of a function that, given a delivery function, augments it to return another. This allows you to customize the delivery process.
MLWorks Reference Manual (version 1.0) - 3 DEC 1996
Generated with Harlequin WebMaker