package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

A parser library for automated deduction

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (11)

Authors

G

Guillaume Bury <guillaume.bury@gmail.com>

Maintainers

G

Guillaume Bury <guillaume.bury@gmail.com>

Sources

dolmen-0.10.tbz

sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61

sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f

doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Print/L/index.html

Module `Print.L`Source

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

Source

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

Sourceval __ocaml_lex_tables : Stdlib.Lexing.lex_tables

Source

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

Source

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

Source

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

Source

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

package dolmen

Install

Dune Dependency

Authors

Maintainers

Sources

doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Print/L/index.html

Module Print.LSource

Module `Print.L`Source