L (docs.other.dolmen.smtlib2.poly.Dolmen_smtlib2

exception Error

module T = Dolmen_std.Tok

module M : sig ... end

val keyword_descr : string -> T.descr

val reserved_descr : string -> T.descr

val descr : Dolmen_smtlib2_poly__.Tokens.token -> T.descr

val bind : 'a M.t -> (M.key * 'a) -> 'a M.t

val reserved_words : Dolmen_smtlib2_poly__.Tokens.token M.t

val symbol : ('a -> unit) -> 'a -> M.key -> Dolmen_smtlib2_poly__.Tokens.token

val quoted_symbol : 
  ('a -> unit) ->
  'a ->
  string ->
  Dolmen_smtlib2_poly__.Tokens.token

val __ocaml_lex_tables : Lexing.lex_tables

val token : 
  (Lexing.lexbuf -> unit) ->
  Lexing.lexbuf ->
  Dolmen_smtlib2_poly__.Tokens.token

val __ocaml_lex_token_rec : 
  (Lexing.lexbuf -> unit) ->
  Lexing.lexbuf ->
  int ->
  Dolmen_smtlib2_poly__.Tokens.token

val string : 
  (Lexing.lexbuf -> unit) ->
  Buffer.t ->
  Lexing.lexbuf ->
  Dolmen_smtlib2_poly__.Tokens.token

val __ocaml_lex_string_rec : 
  (Lexing.lexbuf -> unit) ->
  Buffer.t ->
  Lexing.lexbuf ->
  int ->
  Dolmen_smtlib2_poly__.Tokens.token