	sofs

These types are documented in this module:

  -type anyset() :: ordset() | a_set().

  -type binary_relation() :: relation().

  -type external_set() :: term().

  -type family() :: a_function().

  -type a_function() :: relation().

  -opaque ordset() 

  -type relation() :: a_set().

  -opaque a_set() 

  -type set_of_sets() :: a_set().

  -type set_fun() ::
            pos_integer() |
            {external, fun((external_set()) -> external_set())} |
            fun((anyset()) -> anyset()).

  -type spec_fun() ::
            {external, fun((external_set()) -> boolean())} |
            fun((anyset()) -> boolean()).

  -type type() :: term().

  -type tuple_of(_T) :: tuple().
