package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

md5=3512b493a31b0d1073ba4e48e8058493

sha512=b6e5ad2f86132d1874cb943546375e2f1b987a0c65628d71f17827f1ff7435df476c86fb135b34b3ff302f99ea54a21b90730257e12aa41cce170fae57c422b0

Sourceexception SyntaxError of string

Sourceval drop_sigil : char -> string -> string

Sourceval verbatim_buff : Buffer.t

Sourceval __ocaml_lex_tables : Lexing.lex_tables

Sourceval token : Lexing.lexbuf -> Grammar.token

Sourceval __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Grammar.token

Sourceval comment : Lexing.lexbuf -> Grammar.token

Sourceval __ocaml_lex_comment_rec : Lexing.lexbuf -> int -> Grammar.token

Sourceval verbatim : Lexing.lexbuf -> unit

Sourceval __ocaml_lex_verbatim_rec : Lexing.lexbuf -> int -> unit