-- | Translates an L1DomainExpression to an L2DomainExpression
translateDomainExpression :: ScopeInformation -> L1.SrcSpan -> L2.L2NamespaceID -> L1.L1DomainExpression -> ModelTranslation L2.L2DomainExpression
translateDomainExpression scope ss nsid ex = fst <$> translateDomainExpressionCrossScope scope ss nsid ex
translateDomainExpression :: ScopeInformation -> L1.SrcSpan -> L2.L2NamespaceID -> L1.L1DomainExpression -> ModelTranslation L2.L2DomainExpression
translateDomainExpression scope ss nsid ex = fst <$> translateDomainExpressionCrossScope scope ss nsid ex
translateDomainExpression scope ss nsid ex = fst <$> translateDomainExpressionCrossScope scope ss nsid ex