package libsail

  1. Overview
  2. Docs
package libsail
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct