To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package sail
-
libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val analyze_unresolved_quant :
(Ast_util.mut * Ast.typ) Ast_util.Bindings.t ->
Ast.n_constraint list ->
Ast.quant_item ->
suggestionval message_of_type_error : Type_check.type_error -> Error_format.messageval string_of_type_error : Type_check.type_error -> stringval collapse_errors : Type_check.type_error -> Type_check.type_errorval check_defs :
Type_check.Env.t ->
'a Ast.def list ->
Type_check.tannot Ast.def list * Type_check.Env.tval check :
Type_check.Env.t ->
'a Ast_defs.ast ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t