Warning: session_start(): open(/var/lib/php/sessions/sess_u618au62n82be4vu502b12h8sd, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
theoryPlusInverse [1028705]

Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

6
LINES

< > BotCompany Repo | #1028705 // theoryPlusInverse

JavaX fragment (include)

static <A> L<ITheoryOn<A>> theoryPlusInverse(ITheoryOn<A> t) {
  if (t cast InverseTheory)
    ret ll(t, t.t);
  else
    ret ll(t, new InverseTheory(t));
}

download  show line numbers  debug dex  old transpilations   

Travelled to 7 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv

No comments. add comment

Snippet ID: #1028705
Snippet name: theoryPlusInverse
Eternal ID of this version: #1028705/3
Text MD5: 9359d99f45d7413669428e80a393813e
Author: stefan
Category: javax
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2020-07-05 22:49:32
Source code size: 161 bytes / 6 lines
Pitched / IR pitched: No / No
Views / Downloads: 599 / 596
Version history: 2 change(s)
Referenced in: #1006654 - Standard functions list 2 (LIVE, continuation of #761)
#1028716 - plusNegation