isIn

write a function that, given an integer x and a List of integers, returns true if and only if x is in the List

Function Signature

def isIn (x:Int) (xs: List Int):Bool

Theorem Signature

def isIn_correct (x:Int)(xs:List Int):
  isIn x xs = true ↔ x∈ xs

View All Submissions

Please log in or register to submit a solution for this challenge.