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

5
LINES

< > BotCompany Repo | #1028704 // InverseTheory

JavaX fragment (include) [tags: use-pretranspiled]

Libraryless. Click here for Pure Java version (2524L/16K).

1  
static transformable record InverseTheory<A>(ITheoryOn<A> t) implements ITheoryOn<A> {
2  
  public bool check(A a) {
3  
    ret !t.check(a);
4  
  }
5  
}

Author comment

Began life as a copy of #1028702

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: #1028704
Snippet name: InverseTheory
Eternal ID of this version: #1028704/4
Text MD5: 35a0611f5132240679781d6ac074fbb9
Transpilation MD5: 2ccb5e916c3c6af00e1e10a131675235
Author: stefan
Category: javax
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2020-07-06 01:21:47
Source code size: 144 bytes / 5 lines
Pitched / IR pitched: No / No
Views / Downloads: 238 / 538
Version history: 3 change(s)
Referenced in: [show references]