Module Pcoq.Lookahead
type t
val to_entry : string -> t -> unit Entry.t
val (>>) : t -> t -> t
val (<+>) : t -> t -> 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_ident_except : string list -> t
val lk_ident_list : t