Module Pcoq.LookaheadSource

Sourcetype t
Sourceval to_entry : string -> t -> unit Entry.t
Sourceval (>>) : t -> t -> t
Sourceval (<+>) : t -> t -> t
Sourceval lk_list : t -> t
Sourceval check_no_space : t
Sourceval lk_kw : string -> t
Sourceval lk_kws : string list -> t
Sourceval lk_nat : t
Sourceval lk_ident : t
Sourceval lk_name : t
Sourceval lk_ident_except : string list -> t
Sourceval lk_ident_list : t