sail

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