<filename>language/syntax/rule/congruence.py<gh_stars>0
from dataclasses import dataclass


@dataclass
class CongruenceRule(Rule):
    left: Evaluation
    right: Evaluation

<filename>language/syntax/rule/congruence.py<gh_stars>0
from dataclasses import dataclass


@dataclass
class CongruenceRule(Rule):
    left: Evaluation
    right: Evaluation
