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

        :param size:    Width of the TOP value (in bits).
        :return:        The TOP value.
Get a TOP value.
Get a TOP value .
def top(bits: int) -> claripy.ast.Base:
        """
        Get a TOP value.

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

        if bits in PropagatorState._tops:
            return PropagatorState._tops[bits]
        r = claripy.BVS("TOP", bits, explicit_name=True)
        PropagatorState._tops[bits] = r
        return r
def top ( bits : int ) -> claripy . ast . Base : if bits in PropagatorState . _tops : return PropagatorState . _tops [ bits ] r = claripy . BVS ( "TOP" , bits , explicit_name = True ) PropagatorState . _tops [ bits ] = r return r