original_docstring: 
      This convenient function allows to know if an instance of
      :class:`opetopy.UnnamedOpetopicSet.Type` is source universal at a given
      address, regardless of wether or not it is an actual instance of
      :class:`opetopy.UnnamedOpetopicCategory.Type`.
      
docstring: This convenient function allows to know if an instance of
docstring_tokens: This convenient function allows to know if an instance of
code: def isSourceUniversal(t: UnnamedOpetopicSet.Type,
                        addr: UnnamedOpetope.Address) -> bool:
      """
      This convenient function allows to know if an instance of
      :class:`opetopy.UnnamedOpetopicSet.Type` is source universal at a given
      address, regardless of wether or not it is an actual instance of
      :class:`opetopy.UnnamedOpetopicCategory.Type`.
      """
      if isinstance(t, Type):
          return t.isSourceUniversal(addr)
      else:
          return False
code_tokens: def isSourceUniversal ( t : UnnamedOpetopicSet . Type , addr : UnnamedOpetope . Address ) -> bool : if isinstance ( t , Type ) : return t . isSourceUniversal ( addr ) else : return False
short_docstring: This convenient function allows to know if an instance of
short_docstring_tokens: This convenient function allows to know if an instance of
comment: """
      This convenient function allows to know if an instance of
      :class:`opetopy.UnnamedOpetopicSet.Type` is source universal at a given
      address, regardless of wether or not it is an actual instance of
      :class:`opetopy.UnnamedOpetopicCategory.Type`.
      """