sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Slice
type node =
| Register of Ast.id
| Function of Ast.id
| Letbind of Ast.id
| Type of Ast.id
| Overload of Ast.id
| Constructor of Ast.id
module Node : sig ... end
val dot_of_ast : out_channel -> Type_check.tannot Ast_defs.ast -> unit