chickadee » typed-lists » ilist->set

Identifier search

ilist->set lstprocedure: fundamental datatype constructor. Typed sets are implemented as equivalence classes of typed lists.