package sail

  1. Overview
  2. Docs
type suggestion =
  1. | Suggest_add_constraint of Ast.n_constraint
  2. | 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
OCaml

Innovation. Community. Security.