Up – Package index » coq » Library coq-core.parsing » Pcoq » Parsable

Module `Pcoq.Parsable`Source

Sourcetype t

Sourceval make : ?loc:Loc.t -> char Stream.t -> t

Sourceval comments : t -> ((int * int) * string) list