sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
val is_complete : ctx -> 'a Ast.pexp list -> bool
val check : Parse_ast.l -> ctx -> 'a Ast.pexp list -> unit