sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Error_format
val skip_lines : in_channel -> int -> unit
val read_lines : in_channel -> int -> string list
type formatter = {
indent : string;
endline : string -> unit;
loc_color : string -> string;
}
val err_formatter : formatter
val buffer_formatter : Buffer.t -> formatter
val format_endline : string -> formatter -> unit
val underline_single : ( string -> string ) -> int -> int -> string
val format_code_single' : string -> in_channel -> 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 -> in_channel -> int -> int -> int -> int -> ( formatter -> 'a ) -> formatter -> 'a
val format_code_single : string -> int -> int -> int -> ( formatter -> 'a ) -> formatter -> unit
val format_code_double : string -> int -> int -> int -> int -> ( formatter -> 'a ) -> formatter -> unit
val format_pos : Lexing.position -> Lexing.position -> ( formatter -> 'a ) -> formatter -> unit
val format_loc : Parse_ast.l -> ( formatter -> unit ) -> formatter -> unit
type message =
| Location of Parse_ast.l * message
| Line of string
| List of (string * message) list
| Seq of message list
| With of formatter -> formatter * message
val bullet : string
val format_message : message -> formatter -> unit