sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Jib_util . UId
type t = Ast.id * Jib.ctyp list
val lex_ord : int -> int -> int
val compare_ctyps : Jib.ctyp list -> Jib.ctyp list -> int
val compare : (Ast.id * Jib.ctyp list) -> (Ast.id * Jib.ctyp list) -> int