declareList function

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

Implementation

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