sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Type_error
type suggestion =
| Suggest_add_constraint of Ast.n_constraint
| Suggest_none
val analyze_unresolved_quant : (Ast_util.mut * Ast.typ) Ast_util.Bindings.t -> Ast.n_constraint list -> Ast.quant_item -> suggestion
val message_of_type_error : Type_check.type_error -> Error_format.message
val string_of_type_error : Type_check.type_error -> string
val check_defs : Type_check.Env.t -> 'a Ast.def list -> Type_check.tannot Ast.def list * Type_check.Env.t