3 The MLWorks Pervasive Library
3.3 Delivery tools: the Deliver structure
Delivery is the process of creating an image file or standalone executable file from an ML function. The Deliver structure provides tools for performing delivery. The structure has the following signature:
structure Deliver :
sig
type deliverer = string * (unit -> unit) * bool -> unit
type delivery_hook = deliverer -> deliverer
val deliver : deliverer
val with_delivery_hook : delivery_hook -> ('a -> 'b) -> 'a -> 'b
end
The components of the Deliver structure are described below.