sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Scattered
val funcl_id : 'a Ast.funcl -> Ast.id
val last_scattered_funcl : Ast.id -> 'a Ast.def list -> bool
val last_scattered_mapcl : Ast.id -> 'a Ast.def list -> bool
val no_effect_opt : Parse_ast.l -> Ast.effect_opt
val fake_rec_opt : Parse_ast.l -> 'a Ast.rec_opt
val no_tannot_opt : Parse_ast.l -> Ast.tannot_opt
val get_union_clauses : Ast.id -> 'a Ast.def list -> Ast.type_union list
val filter_union_clauses : Ast.id -> 'a Ast.def list -> 'a Ast.def list