Up – Package index » coq » Library coq-core.gramlib » Gramlib » Grammar » GMake » Rules

Module `GMake.Rules`Source

Sourcetype 'a t

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