13af6ab5fSopenharmony_ci/* 23af6ab5fSopenharmony_ci * Copyright (c) 2024 Huawei Device Co., Ltd. 33af6ab5fSopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License"); 43af6ab5fSopenharmony_ci * you may not use this file except in compliance with the License. 53af6ab5fSopenharmony_ci * You may obtain a copy of the License at 63af6ab5fSopenharmony_ci * 73af6ab5fSopenharmony_ci * http://www.apache.org/licenses/LICENSE-2.0 83af6ab5fSopenharmony_ci * 93af6ab5fSopenharmony_ci * Unless required by applicable law or agreed to in writing, software 103af6ab5fSopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS, 113af6ab5fSopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 123af6ab5fSopenharmony_ci * See the License for the specific language governing permissions and 133af6ab5fSopenharmony_ci * limitations under the License. 143af6ab5fSopenharmony_ci */ 153af6ab5fSopenharmony_ci 163af6ab5fSopenharmony_ci 173af6ab5fSopenharmony_citype A = string; 183af6ab5fSopenharmony_citype B = string; 193af6ab5fSopenharmony_citype C = string; 203af6ab5fSopenharmony_citype D = string; 213af6ab5fSopenharmony_citype E = string; 223af6ab5fSopenharmony_citype F = string; 233af6ab5fSopenharmony_ci 243af6ab5fSopenharmony_citype Type1 = (A | & B) & (& C | D); 253af6ab5fSopenharmony_citype Type2 = A & (| C | D) | B & (C | D) 263af6ab5fSopenharmony_citype Type3 = A & C | A & D | B & C | B & D; 273af6ab5fSopenharmony_citype Type4 = A & (B & C) & D; 283af6ab5fSopenharmony_citype Type5 = (A | (B & C) & D) & E | F; 293af6ab5fSopenharmony_ci 303af6ab5fSopenharmony_civar a: | & string;