Structures.PrimitiveProjectionsSome extra info for structures which are primitive records
val register : Names.Projection.Repr.t -> Names.Constant.t -> unitSets up the mapping from constants to primitive projections
val mem : Names.Constant.t -> boolval find_opt : Names.Constant.t -> Names.Projection.Repr.t optionval find_opt_with_relevance : (Names.Constant.t * EConstr.EInstance.t) -> (Names.Projection.Repr.t * EConstr.ERelevance.t) optionval is_transparent_constant : TransparentState.t -> Names.Constant.t -> bool