
  -spec from_external(ExternalSet, Type) -> AnySet
                         when
                             ExternalSet :: external_set(),
                             AnySet :: anyset(),
                             Type :: type().

  Creates a set from the external set ExternalSet and the type 
  Type. It is assumed that Type is a valid type of ExternalSet.
