Up – Package index » coq-core » Library coq-core.tactics » Ind_tables » Locmap

Module `Ind_tables.Locmap`Source

Sourcetype t

Sourceval default : Loc.t option -> t

Sourceval make : ?default:Loc.t -> Names.MutInd.t -> Loc.t option list -> t

Sourceval lookup : locmap:t -> Names.inductive -> Loc.t option