sail

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