Class CodomainMapContext.Details