chickadee » miniML » term?

term?procedure

A predicate for a mini-ML term. See the next section for a list of term constructors.