sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Jib_util . NameCT
type t = Jib.name * Jib.ctyp
val compare : (Jib.name * Jib.ctyp) -> (Jib.name * Jib.ctyp) -> int