sail

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