sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Lexer
module Big_int = Nat_big_num
module M : sig ... end
exception LexError of string * Lexing.position
val r : 'a -> 'a
val unescaped : string -> string
val mk_operator : Parse_ast.prec -> int -> string -> Parser.token
val operators : Parser.token M.t ref
val kw_table : ( unit -> Parser.token ) M.t
type comment_type =
| Comment_block
| Comment_line
type comment =
| Comment of comment_type * Lexing.position * Lexing.position * string
val comments : comment list ref
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Parser.token
val line_comment : Lexing.position -> Buffer.t -> Lexing.lexbuf -> unit
val __ocaml_lex_line_comment_rec : Lexing.position -> Buffer.t -> Lexing.lexbuf -> int -> unit
val doc_comment : Lexing.position -> Buffer.t -> int -> bool -> Lexing.lexbuf -> string
val __ocaml_lex_doc_comment_rec : Lexing.position -> Buffer.t -> int -> bool -> Lexing.lexbuf -> int -> string
val comment : Lexing.position -> Buffer.t -> int -> Lexing.lexbuf -> unit
val __ocaml_lex_comment_rec : Lexing.position -> Buffer.t -> int -> Lexing.lexbuf -> int -> unit
val string : Lexing.position -> Buffer.t -> Lexing.lexbuf -> string
val __ocaml_lex_string_rec : Lexing.position -> Buffer.t -> Lexing.lexbuf -> int -> string