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