Up – Package index » rocq-runtime » Library rocq-runtime.parsing » Procq » Production

Module `Procq.Production`Source

Sourcetype 'a t

Sourceval make : ('a, _, 'f, Loc.t -> 'a) Rule.t -> 'f -> 'a t