declareList function

ListInfo declareList(
  1. String name,
  2. Sort element
)

Declares a list with the given name and element type.

Implementation

ListInfo declareList(String name, Sort element) =>
    currentContext.declareList(Sym(name), element);