Give the type annotations and implement the following functi

Give the type annotations and implement the following functions: Define the binary operations of union and intersection and the belongs To predicate, for sets of type a when such sets are represented as: Extensionally (i.e. as a list of elements of type a). Characteristic function (i.e. as a predicate of type a squareroot Bool).

Solution

Let K={1,3,5,7,9} and M={2,3,4,5,6}

K U M consist of the elements in K U M ={1,2,3,4,5,6,7,9}