public delegate void ContractPreconditionFailedHandler(
	Exception exception
)

Public Delegate Sub ContractPreconditionFailedHandler ( 
	exception As Exception
)

public delegate void ContractPreconditionFailedHandler(
	Exception^ exception
)

type ContractPreconditionFailedHandler = 
    delegate of 
        exception : Exception -> unit