sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Parameter #1 Graph . Make . Ord
type t
val compare : t -> t -> int