package dolmen

  1. Overview
  2. Docs

Module Print.LSource

Sourceexception Error
module T = Dolmen_std.Tok
module M : sig ... end
Sourceval keyword_descr : string -> T.descr
Sourceval reserved_descr : string -> T.descr
Sourceval descr : Dolmen_smtlib2_poly__.Tokens.token -> T.descr
Sourceval bind : 'a M.t -> (M.key * 'a) -> 'a M.t
Sourceval reserved_words : Dolmen_smtlib2_poly__.Tokens.token M.t
Sourceval symbol : ('a -> unit) -> 'a -> M.key -> Dolmen_smtlib2_poly__.Tokens.token
Sourceval quoted_symbol : ('a -> unit) -> 'a -> string -> Dolmen_smtlib2_poly__.Tokens.token
Sourceval __ocaml_lex_tables : Stdlib.Lexing.lex_tables
Sourceval token : (Stdlib.Lexing.lexbuf -> unit) -> Stdlib.Lexing.lexbuf -> Dolmen_smtlib2_poly__.Tokens.token
Sourceval __ocaml_lex_token_rec : (Stdlib.Lexing.lexbuf -> unit) -> Stdlib.Lexing.lexbuf -> int -> Dolmen_smtlib2_poly__.Tokens.token
Sourceval string : (Stdlib.Lexing.lexbuf -> unit) -> Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> Dolmen_smtlib2_poly__.Tokens.token
Sourceval __ocaml_lex_string_rec : (Stdlib.Lexing.lexbuf -> unit) -> Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> Dolmen_smtlib2_poly__.Tokens.token