We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Getting:
val is_element : elt -> t -> bool ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 32 [unused-value-declaration]: unused value is_element.
I don't know how to remove this error