sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Specialize
val opt_ddump_spec_ast : (string * int) option ref
type specialization
val typ_ord_specialization : specialization
val int_specialization : specialization
val int_specialization_with_externs : specialization
val polymorphic_functions : specialization -> 'a Ast.def list -> Ast_util.IdSet.t
val add_initial_calls : Ast_util.IdSet.t -> unit
val string_of_instantiation : Ast.typ_arg Ast_util.KBindings.t -> string