# Event¶

The Event type represents events that can be applied to contracts. The Event type is built-in. The definition is given below.

type Event {
agent : Agent,
timestamp : Instant
}


## ContractInstance¶

The built-in abstract type ContractInstance represents a reference to an instantiated contract. Values of this type cannot be constructed directly in CSL syntax, so whenever such a value is needed it must be supplied to the runtime system directly – either as an instantiation argument to a contract or as an argument to a report.