3.3 Delivery tools: the Deliver structure

deliverer

Type

Summary

The type of a delivery function.

Signature

MLWORKS.Deliver

Structure

MLWorks.Deliver

Type

type deliverer = string * (unit -> unit) * bool -> unit

Description

The type of a function that takes a string, a function of type unit -> unit, and a boolean. This is the type of the deliver function, which implements the delivery process. See deliver, page 18.