Let\'s say I want to create a set type in OCaml. I want it to be either empty, or represented by a list of type \'a.
set
\'a
I have the following de
