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 : DateTime
}

Contract

The built-in abstract type Contract represents a contract’s id. 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 template or as an argument to a report.