sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Ast_util . Typ
type t = Ast.typ
val compare : Ast.typ -> Ast.typ -> int