pyrser/type_system/fun.py
def internal_name(self):
        """
        Return the unique internal name
        """
        unq = 'f_' + super().internal_name()
        if self.tparams is not None:
            unq += "_" + "_".join(self.tparams)
        if self.tret is not None:
            unq += "_" + self.tret
        return unq
def internal_name(self):
        """
        Return the unique internal name
        """
        unq = 'f_' + super().internal_name()
        if self.tparams is not None:
            unq += "_" + "_".join(self.tparams)
        if self.tret is not None:
            unq += "_" + self.tret
        return unq
def internal_name ( self ) : unq = 'f_' + super ( ) . internal_name ( ) if self . tparams is not None : unq += "_" + "_" . join ( self . tparams ) if self . tret is not None : unq += "_" + self . tret return unq
Return the unique internal name
Return the unique internal name