< > BotCompany Repo | #1004316 // YN - union type (yes/no)

JavaX fragment (include)

static class YN<Y, N> {
  Y yes;  // invariant: !sYes => (yes == null)
  N no;   // invariant: isYes => (no == null)
  bool isYes;
  
  *() {}
  *(bool *isYes) {}
  *(bool *isYes, Y *yes) {}
  *(bool *isYes, Y *yes, N *no) {}
}

download  show line numbers  debug dex  old transpilations   

Travelled to 16 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, ddnzoavkxhuk, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, onxytkatvevr, pyentgdyhuwx, pzhvpgtvlbxg, sawdedvomwva, tslmcundralx, tvejysmllsmz, vouqrxazstgt

2 comment(s) hidden. show