sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Ast_util . BE
val compare : Ast.base_effect -> Ast.base_effect -> int