sail

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