sail

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