Warning: session_start(): open(/var/lib/php/sessions/sess_bvplgi7jmje4s8eknsnh2ul8ei, 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
predIndex - synonym of indexOfPred [1030679]

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

9
LINES

< > BotCompany Repo | #1030679 // predIndex - synonym of indexOfPred

JavaX fragment (include)

1  
static int predIndex(L l, O pred) {
2  
  ret indexOfPred(l, pred);
3  
}
4  


5  


6  


7  
static <A, B> int predIndex(L<A> l, IF1<A, B> pred) {


8  
  ret indexOfPred(l, pred);


9  
}



      
download  show line numbers  debug dex  old transpilations   
Travelled to 4 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, vouqrxazstgt


No comments. add comment
      
      
  

  

    Snippet ID:
    #1030679
  

  

    Snippet name:
    predIndex - synonym of indexOfPred
  

    

    Eternal ID of this version:
    #1030679/1
  

  

    Text MD5:
    61abdb4a255fa239628577e3824fd71d
  

    

    Author:
    stefan
  

  

    Category:
    
  

  

    Type:
    JavaX fragment (include)
  

        

    Public (visible to everyone):
    Yes
  

  

    Archived (hidden from active list):
    No
  

  

    Created/modified:
      2021-03-03 23:41:02
  

  

    Source code size:
    154 bytes / 9 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    587 / 583
  

      

    Referenced in:
[show references]