original_docstring: 
      This convenient function allows to know if an instance of
      :class:`opetopy.UnnamedOpetopicSet.Type` is target universal, 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 isTargetUniversal(t: UnnamedOpetopicSet.Type) -> bool:
      """
      This convenient function allows to know if an instance of
      :class:`opetopy.UnnamedOpetopicSet.Type` is target universal, regardless of
      wether or not it is an actual instance of
      :class:`opetopy.UnnamedOpetopicCategory.Type`.
      """
      if isinstance(t, Type):
          return t.isTargetUniversal()
      else:
          return False
code_tokens: def isTargetUniversal ( t : UnnamedOpetopicSet . Type ) -> bool : if isinstance ( t , Type ) : return t . isTargetUniversal ( ) 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 target universal, regardless of
      wether or not it is an actual instance of
      :class:`opetopy.UnnamedOpetopicCategory.Type`.
      """