Documentation

Expand a clause to the maximal arity, by inserting variable patterns and applying the body to variables. Return the arity and the expanded clause.

Get the name of defined symbol of the head normal form of a term. Returns Nothing if no such head exists.