(bits: int)
return r
Get a TOP value.

        :param bits:    Width of the TOP value (in bits).
        :return:        The TOP value.
Get a TOP value.
Get a TOP value .
def top(bits: int):
        """
        Get a TOP value.

        :param bits:    Width of the TOP value (in bits).
        :return:        The TOP value.
        """

        if bits in LiveDefinitions._tops:
            return LiveDefinitions._tops[bits]
        r = claripy.BVS("TOP", bits, explicit_name=True)
        LiveDefinitions._tops[bits] = r
        return r
def top ( bits : int ) : if bits in LiveDefinitions . _tops : return LiveDefinitions . _tops [ bits ] r = claripy . BVS ( "TOP" , bits , explicit_name = True ) LiveDefinitions . _tops [ bits ] = r return r