package libsail

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val skip_lines : Sail_file.In_channel.t -> int -> unit
val read_lines : Sail_file.In_channel.t -> int -> string list
val error_tabwidth : int
val opt_debug_no_filenames : bool Stdlib.ref
val format_filename : string -> string
val unprintable_notation : ?color:(string -> string) -> char -> string option
val unprintable_escape : ?color:(string -> string) -> string -> string * (int -> int)
type formatter = {
  1. indent : string;
  2. endline : string -> unit;
  3. loc_color : string -> string;
}
val err_formatter : formatter
val buffer_formatter : Stdlib.Buffer.t -> formatter
val format_endline : string -> formatter -> unit
val underline_single : (string -> string) -> int -> int -> string
val format_hint : ('a -> string) -> 'a option -> string
val format_code_single' : string -> string option -> string -> Sail_file.In_channel.t -> int -> int -> int -> (formatter -> 'a) -> formatter -> 'a
val underline_double_from : (string -> string) -> int -> int -> string
val underline_double_to : (string -> string) -> int -> string
val format_code_double' : string -> string -> Sail_file.In_channel.t -> int -> int -> int -> int -> (formatter -> 'a) -> formatter -> 'a
val format_code_single_fallback : string -> string -> int -> int -> int -> (formatter -> 'a) -> formatter -> 'a
val format_code_single : string -> string option -> string -> int -> int -> int -> (formatter -> 'a) -> formatter -> 'a
val format_code_double_fallback : string -> string -> int -> int -> int -> int -> (formatter -> 'a) -> formatter -> 'a
val format_code_double : string -> string -> int -> int -> int -> int -> (formatter -> 'a) -> formatter -> 'a
val format_pos : string -> string option -> Stdlib.Lexing.position -> Stdlib.Lexing.position -> (formatter -> 'a) -> formatter -> 'a
val format_loc : string -> string option -> Parse_ast.l -> (formatter -> unit) -> formatter -> unit
type severity =
  1. | Sev_warn
  2. | Sev_error
type message =
  1. | Location of string * string option * Parse_ast.l * message
  2. | Line of string
  3. | List of (string * message) list
  4. | Seq of message list
  5. | Severity of severity * message
val bullet : string
val format_message : message -> formatter -> unit
OCaml

Innovation. Community. Security.