package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type 'a e = 'a Grammar.GMake(CLexer).Entry.e

val create : string -> 'a e

val parse : 'a e -> parsable -> 'a

val name : 'a e -> string

val of_parser : string -> (te Stream.t -> 'a) -> 'a e

val parse_token_stream : 'a e -> te Stream.t -> 'a

val print : Format.formatter -> 'a e -> unit

val obj : 'a e -> te Gramext.g_entry

val parse_token : 'a e -> te Stream.t -> 'a