sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Ast_defs
type !'a ast = {
defs : 'a Ast.def list;
comments : (string * Lexer.comment list) list;
}
val empty_ast : 'a ast