+
    2j                    ^    R t ^ RIHt ^ RIHtHt ]'       d   ^RIHt R.t ! R R]	4      t
R# )zResolution error types.

Defines the exception raised when the resolver proves that no valid
solution exists, along with the derivation tree for error reporting.
)annotations)TYPE_CHECKINGAny)IncompatibilityResolutionErrorc                  6   a  ] tR t^tRtRR V 3R llltRtV ;t# )r   a=  Resolution failed: no valid solution exists.

The ``incompatibility`` attribute holds the root incompatibility
whose derivation tree explains why resolution failed. Walk
``cause_left`` and ``cause_right`` to trace the full proof.

Reference: https://github.com/dart-lang/pub/blob/master/doc/solver.md#error-reporting
c               $    V ^8  d   QhRRRRRR/# )   messagestrincompatibilityz Incompatibility[Any, Any] | NonereturnNone )formats   "^/home/user/billing-ledger-validation/.venv/lib/python3.14/site-packages/nab_resolver/errors.py__annotate__ResolutionError.__annotate__   s(     / // :/ 
	/    c                2   < \         SV `  V4       W n        R# )zACreate a resolution error with an optional incompatibility proof.N)super__init__r   )selfr
   r   	__class__s   &&&r   r   ResolutionError.__init__   s     	!.r   )r   )N)__name__
__module____qualname____firstlineno____doc__r   __static_attributes____classcell__)r   s   @r   r   r      s    / / /r   N)r   
__future__r   typingr   r   typesr   __all__	Exceptionr   r   r   r   <module>r'      s0    # %& 
/i /r   