Module Ind_tables.Locmap
val default : Loc.t option -> tval make : ?default:Loc.t -> Names.MutInd.t -> Loc.t option list -> tval lookup : locmap:t -> Names.inductive -> Loc.t option
Ind_tables.Locmapval default : Loc.t option -> tval make : ?default:Loc.t -> Names.MutInd.t -> Loc.t option list -> tval lookup : locmap:t -> Names.inductive -> Loc.t option