translateDomainDefinition scope _ nsid
  (L1.L1DomainDefDomainType ss dt) =
    translateDomainExpression scope ss nsid dt
translateDomainDefinition scope _ nsid
  (L1.L1DomainDefDomainType ss dt) =
    translateDomainExpression scope ss nsid dt
translateDomainDefinition scope _ nsid
  (L1.L1DomainDefDomainType ss dt) =
    translateDomainExpression scope ss nsid dt