sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Property . Event
type t = event
val compare : event -> event -> int