Module `Pcoq.Lookahead`

type t

val to_entry : string -> t -> unit Entry.t
val (>>) : t -> t -> t
val (<+>) : t -> t -> t
val lk_empty : t
val lk_list : t -> t
val check_no_space : t
val lk_kw : string -> t
val lk_kws : string list -> t
val lk_nat : t
val lk_ident : t
val lk_field : t
val lk_name : t
val lk_qualid : t
val lk_ident_except : string list -> t
val lk_ident_list : t