import {And} from './And' import {Not} from './Not' import {Or} from './Or' export type Xor = Or>, And, B>>