
  [;1m-type set_fun() ::[0m
  [;1m          pos_integer() |[0m
  [;1m          {external, fun((external_set()) -> external_set())} |[0m
  [;1m          fun((anyset()) -> anyset()).[0m

  A SetFun.
