package camlp5

You can search for identifiers within the package.

in-package search v0.2.0

package camlp5

camlp5.gramlib
- Diff
- Eprinter
- Extfold
- Extfun
- Fstream
- Gramext
- Grammar
  - Entry
  - GLexerType
  - GMake
    
    Entry
    
    L
    
    Unsafe
  - S
    
    Entry
    
    Unsafe
  - Unsafe
- Plexer
- Plexing
  - Lexbuf
- Ploc
- Pprintf
- Pretty
- Stdpp
- Token
- Versdep

Legend:
Library
Module
Module type
Parameter
Class
Class type

type g

type token = string * string

val gcreate : token Plexing.lexer -> g

val tokens : g -> string -> (string * int) list

val glexer : g -> token Plexing.lexer

type parsable

val parsable : g -> char Stream.t -> parsable

module Entry : sig ... end

val of_entry : 'a Entry.e -> g

module Unsafe : sig ... end

type parse_algorithm = Gramext.parse_algorithm =

| Predictive
| Functional
| Backtracking
| DefaultAlgorithm

val set_algorithm : g -> parse_algorithm -> unit

val set_default_algorithm : parse_algorithm -> unit

val default_algorithm : unit -> parse_algorithm

val backtrack_stalling_limit : int Pervasives.ref

module type GLexerType = sig ... end

module type S = sig ... end

module GMake (L : GLexerType) : sig ... end

val skip_item : 'a -> 'a

val error_verbose : bool Pervasives.ref

val warning_verbose : bool Pervasives.ref

val strict_parsing : bool Pervasives.ref

val utf8_print : bool Pervasives.ref

val print_entry : Format.formatter -> 'te Gramext.g_entry -> unit

val iter_entry : ('te Gramext.g_entry -> unit) -> 'te Gramext.g_entry -> unit

val fold_entry : 
  ('te Gramext.g_entry -> 'a -> 'a) ->
  'te Gramext.g_entry ->
  'a ->
  'a

val reinit_entry_functions : 'te Gramext.g_entry -> unit

val loc_of_token_interval : int -> int -> Ploc.t

val extend : 
  ('te Gramext.g_entry
   * Gramext.position option
   * (string option
      * Gramext.g_assoc option
      * ('te Gramext.g_symbol list * Gramext.g_action) list)
       list)
    list ->
  unit

val delete_rule : 'a Entry.e -> token Gramext.g_symbol list -> unit

val parse_top_symb : 
  'te Gramext.g_entry ->
  'te Gramext.g_symbol ->
  'te Stream.t ->
  Obj.t

val symb_failed_txt : 
  'te Gramext.g_entry ->
  'te Gramext.g_symbol ->
  'te Gramext.g_symbol ->
  string

val create_local_entry : g -> string -> 'a Entry.e

val backtrack_parse : bool Pervasives.ref