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 opt_warnings : bool refval loc_to_string : ?code:bool -> Parse_ast.l -> stringval simp_loc : Ast.l -> (Lexing.position * Lexing.position) optionval short_loc_to_string : Parse_ast.l -> stringval print_err : Parse_ast.l -> string -> string -> unittype error = private | Err_general of Parse_ast.l * string| Err_unreachable of Parse_ast.l * string * int * int * int * Printexc.raw_backtrace * string| Err_todo of Parse_ast.l * string| Err_syntax of Lexing.position * string| Err_syntax_loc of Parse_ast.l * string| Err_lex of Lexing.position * string| Err_type of Parse_ast.l * string
exception Fatal_error of errorval err_todo : Parse_ast.l -> string -> exnval err_general : Parse_ast.l -> string -> exnval err_unreachable :
Parse_ast.l ->
(string * int * int * int) ->
string ->
exnval err_typ : Parse_ast.l -> string -> exnval err_syntax : Lexing.position -> string -> exnval err_syntax_loc : Parse_ast.l -> string -> exnval err_lex : Lexing.position -> string -> exnval unreachable : Parse_ast.l -> (string * int * int * int) -> string -> 'aval print_error : error -> unitval warn : string -> Parse_ast.l -> string -> unit